| C.Meta (n,l1) -> C.Meta (n, List.map (HExtlib.map_option aux) l1)
| C.Sort (C.Type i) -> add_result [i];
C.Sort (C.Type (CicUniv.name_universe i uri))
+ | C.Sort (C.CProp i) -> add_result [i];
+ C.Sort (C.CProp (CicUniv.name_universe i uri))
| C.Rel _
| C.Sort _
| C.Implicit _ as x -> x