- cr.outputline("int " + tempvar + " = " + domain.getSafeSymbol() + ";");
- cr.outputline("int " + rulebinding.getSafeSymbol() + " = " + tempvar + ";");
+ cr.addDeclaration("int", tempvar);
+ cr.outputline(tempvar + " = " + domain.getSafeSymbol() + ";");
+ cr.addDeclaration("int", rulebinding.getSafeSymbol());
+ cr.outputline(rulebinding.getSafeSymbol() + " = " + tempvar + ";");