| Terms.Node [_; _; lhs; rhs] ->
prerr_endline "Unification test :";
prerr_endline (Pp.pp_foterm lhs);
prerr_endline (Pp.pp_foterm rhs);
| Terms.Node [_; _; lhs; rhs] ->
prerr_endline "Unification test :";
prerr_endline (Pp.pp_foterm lhs);
prerr_endline (Pp.pp_foterm rhs);