Logger logger = Logger.getLogger("RuntimeLogger");
logger.debug("Primitive 62 62 ");
CurrinRef action1 = (CurrinRef)_param_refs.get(0);
//evaluateSubExpr(m, action1);
while (!action1.inHNF() ) {
action1.evaluate(m);
}
CurrinRef action2 = (CurrinRef)_param_refs.get(1);
//evaluateSubExpr(m, action2);
while (!action2.inHNF() ) {