return "(aterm.ATerm) " + atermFactory + ".makeInt(" + expression + ")";
return "(aterm.ATerm) " + factory + ".makeInt(" + expression + ")";
    public String makeIntegerToATermConversion(String expression) {        return "(aterm.ATerm) " + atermFactory + ".makeInt(" + expression + ")";    }