- Conditional sections: Conditional_begin and Conditional_end must be in the same entity. - NDATA: check whether ENTITY attributes refer only to declared NDATA entities