Woops. `accept` should not be here. This is my old implementation ghost.
`tmp.mangleVariable((VarExp*)e)->var->isVarDeclaration())` should be here.