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