if (new != sylvan_false && new != tmp_state->bdd){
if (check_visited(new, visited, init->vars.varset) == 0){
if (check_goal(new, g->bdd, init->vars.varset) == 0){
if (new != sylvan_false && new != tmp_state->bdd){
if (check_visited(new, visited, init->vars.varset) == 0){
if (check_goal(new, g->bdd, init->vars.varset) == 0){