/**
* Transforms the already calculated term into a new term which "includes" the given if statement.
*/
@Override
public Statement astIf(IfBlock ifBlock) {
wp =
new Or(
new And(ifBlock.getCondition(), wp(ifBlock.getThenBlock(), wp)),
new And(new Not(ifBlock.getCondition()), wp(ifBlock.getElseBlock(), wp)));
return null;
}
