let search procs init = let inst_trans = instantiate_transitions procs procs init.t_trans in forward init procs inst_trans (mkinits procs init)