AFuncDeclIR method = new AFuncDeclIR();
AFuncDeclIR func = new AFuncDeclIR(); AExplicitFunctionDefinition preCond = node.getPredef(); SDeclIR preCondCg = preCond != null
AFuncDeclIR method = new AFuncDeclIR();
AFuncDeclIR func = new AFuncDeclIR(); AExplicitFunctionDefinition preCond = node.getPredef(); SDeclIR preCondCg = preCond != null