| C.Cast (te, ty) -> aux te @@ aux ty
| C.Prod (_, s, t) -> aux s @@ aux t
| C.Lambda (_, s, t) -> aux s @@ aux t
+ | C.LetIn (_, s, t) -> aux s @@ aux t
| C.Appl l -> List.fold_right (fun x i -> aux x @@ i) l S.empty
| C.Const (uri,_) ->
(* the parameters could be not exact but only possible *)