let prefixes = NewConstraints.prefixes just_factor t in
(match prefixes with
Some main, all_concl ->
+(*
NewConstraints.pp_prefixes all_concl;
- (* in some cases, max_prefix_length could be less than n *)
+*)
+ (* in some cases, max_prefix_length could be less than n *)
let max_prefix_length =
match all_concl with
[] -> assert false