postTreeBuildInit(((XSCMBinOp)nodeCur).getLeft()); postTreeBuildInit(((XSCMBinOp)nodeCur).getRight()); postTreeBuildInit(((XSCMUniOp)nodeCur).getChild());
postTreeBuildInit(((XSCMBinOp)nodeCur).getLeft()); postTreeBuildInit(((XSCMBinOp)nodeCur).getRight()); postTreeBuildInit(((XSCMUniOp)nodeCur).getChild());