return "(aterm.ATerm) " + atermFactory + ".makeAppl(factory.makeAFun(" + expression + ", 0, true))";
return "(aterm.ATerm) " + factory + ".makeAppl(factory.makeAFun(" + expression + ", 0, true))";
    public String makeStringToATermConversion(String expression) {        return "(aterm.ATerm) " + atermFactory + ".makeAppl(factory.makeAFun(" + expression + ", 0, true))";    }