src/HOL/Tools/Nunchaku/nunchaku_collect.ML

 datatype lhs_pat =
   Only_Vars
 | Prim_Pattern of string
 | Any_Pattern;
 
-fun is_likely_pat_complete ctxt props =
+fun is_apparently_pat_complete ctxt props =
   let
     val is_Var_or_Bound = is_Var orf is_Bound;
 
     fun lhs_pat_of t =
       (case t of

                            (case partition_props consts props of
                              SOME propss =>
                              (props,
                               [IRec (map2 (fn const => fn props =>
                                    {const = const, props = props,
-                                    pat_complete = is_likely_pat_complete ctxt props})
+                                    pat_complete = is_apparently_pat_complete ctxt props})
                                  consts propss)])
                            | NONE => def_or_spec ())
                          else if member (op =) [Spec_Rules.Inductive, Spec_Rules.Co_Inductive]
                              classif then
                            if is_inductive_set_intro (hd props) then