BranchRecord(EPRecord *record, uint numvars, Constraint **vars, bool isalwaysexecuted);
~BranchRecord();
Constraint * getAnyBranch();
BranchRecord(EPRecord *record, uint numvars, Constraint **vars, bool isalwaysexecuted);
~BranchRecord();
Constraint * getAnyBranch();