in
(* is it a singleton or empty non recursive and non informative
definition? *)
- non_informative, ugraph
+ non_informative &&
+ does_not_occur [Some (C.Name name,C.Decl ty)] 0 1
+ (debrujin_constructor uri 1 [] (snd (List.nth cl 0))), ugraph
else
false,ugraph
| _ ->