this.active.clear();
}
public AssertionBranches createAssertions(IfStmt branch, AssertionContext assertionContext) {
prepare(assertionContext);
ConditionExpr expr = (ConditionExpr)branch.getCondition();
// do the positive branch
builder = new ControlFlowBuilder(method);
assertBoolean(expr, branch, true);
Pair<Statement,Statement> pair = builder.finish();