fact: Parameter well_formed_solve : forall pb, well_formed_pb pb -> forall pb', In pb' (solve pb) -> well_formed_pb pb'.
imports: Coq(Arith List) CoLoR(more_list list_sort term_spec ac cf_eq_ac matching matching_well_founded)