homomorphism_axs_preds :: PredMap -> [Named CASLFORMULA]
homomorphism_axs_preds =
  MapSet.foldWithKey (\ p_name -> (:) . homomorphism_form_pred p_name) []
homomorphism_axs_preds :: PredMap -> [Named CASLFORMULA]
homomorphism_axs_preds =
  MapSet.foldWithKey (\ p_name -> (:) . homomorphism_form_pred p_name) []
homomorphism_axs_preds =
  MapSet.foldWithKey (\ p_name -> (:) . homomorphism_form_pred p_name) []