let search_stateless procs init = let var_terms = all_var_terms procs init in let inst_trans = instantiate_transitions procs procs init.t_trans in stateless_forward init procs inst_trans var_terms (mkinits procs init)