prerr_endline (string_of_int (List.length expansionsl));
prerr_endline (string_of_int (List.length expansionsr));
*)
+(*
if expansionsl <> [] then prerr_endline "expansionl";
if expansionsr <> [] then prerr_endline "expansionr";
+*)
List.map (build_newgoal bag context goal Utils.Right Equality.SuperpositionLeft) expansionsl
@
List.map (build_newgoal bag context goal Utils.Left Equality.SuperpositionLeft) expansionsr