A2:
Nodes<Defn>
LOCATION
A1:
VarDefn
id
LOCATION
A0:
AtomType
INT
LOCATION