Key/Rule/Unit not declared contd.

• Unit w/o modifier: check declaration in the order of local units then included units

• Unit w/ modifier: check if the sequence m1.m2...mn.unit appears in any unit forest in the collection