tweak AST, Postfix.java