Print identifier number more explicitely
Corrected bug with synonymous identifiers in ASTs