public AtomicSentence replace(AtomicSentence expression, Term toReplace, Term replaceWith) { this.toReplace = toReplace; this.replaceWith = replaceWith; return (AtomicSentence)expression.accept(this, null); }