Moving getAll to AST
Adding Counter class (number wrapper)
Modifying temp references so that they are all unique