added search for imp_forall