-// model_print("function %s\n", func_name);
-// print_predicate_tree();
+ if (!has_null_pred) {
+// func_inst->print();
+ Predicate * parent = curr_pred->get_parent();
+ curr_pred->add_predicate(NULLITY, NULL, 0);
+
+ Predicate * another_branch = new Predicate(func_inst);
+ another_branch->add_predicate(NULLITY, NULL, 1);
+ parent->add_child(another_branch);
+// another_branch.add_children(i);
+ }
+ }
+
+ ModelVector<Predicate *> * branches = curr_pred->get_children();
+ for (uint i = 0; i < branches->size(); i++) {
+ Predicate * branch = (*branches)[i];
+ deep_update(branch);
+ }