/** * Transforms the already calculated term into a new conjunction of the already calculated term * and the given assertion. */ @Override public Assertion astAssert(Assertion assertion) { wp = new And(assertion.getTerm(), wp); return null; }