Keys referenced before initialized

• After instantiating reused unit/rule semantic checker do a 2nd pass

• For each unit visited, check if Action argument or RHS of an assignment has been in LHS of some assignment in the direct ancestor unit and left side of the tree

• e.g. When encounter "INT b = a";

• Traverse up and left to see if there is a statement such as "a = %1";