NewFuzzer * fuzzer = (NewFuzzer *)model->get_execution()->getFuzzer();
Predicate * selected_branch = fuzzer->get_selected_child_branch(tid);
NewFuzzer * fuzzer = (NewFuzzer *)model->get_execution()->getFuzzer();
Predicate * selected_branch = fuzzer->get_selected_child_branch(tid);
while (true) {
FuncInst * next_inst = get_inst(next_act);
next_inst->set_associated_read(tid, recursion_depth, this_marker, next_act->get_reads_from_value());
while (true) {
FuncInst * next_inst = get_inst(next_act);
next_inst->set_associated_read(tid, recursion_depth, this_marker, next_act->get_reads_from_value());
// A branch with unset predicate expression is detected
if (!branch_found && unset_predicate != NULL) {
// A branch with unset predicate expression is detected
if (!branch_found && unset_predicate != NULL) {