when tactic = constructor &&
List.length const_args = List.length params ->
(* Try to simplify the parameters of this pattern down
* to constants, but don't fail here if we can't do this.
*)
(try
when tactic = constructor &&
List.length const_args = List.length params ->
(* Try to simplify the parameters of this pattern down
* to constants, but don't fail here if we can't do this.
*)
(try