/**
* 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;
}
