/**
* Transforms the already calculated term into a new implication of the already calculated term
* and the given assertion.
*/
@Override
public Assumption assume(Assumption assumption) {
wp = new Implication(assumption.getTerm(), wp);
return null;
}
