Diagnosis
Main feature:
A node of the subfeature access, program access, or error type cannothave node children or node siblings.
Subfeature:
A node of the subfeature access or error type cannot have node childrenor node siblings.