//This is a branch that could prevent this yield from being executed
BranchRecord *br=branchtable->get(unexploredbranch);
Constraint * novel_branch=br->getNewBranch();
//This is a branch that could prevent this yield from being executed
BranchRecord *br=branchtable->get(unexploredbranch);
Constraint * novel_branch=br->getNewBranch();