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