Added: Simple type erasure for identifiers (they are assigned properly)
Fixed: getVariables returns correct variables