let module C2A = Cic2acic in
(* atomic terms are never lifted, according to my policy *)
function
- C.ARel (id,_,_,_) -> false
+ C.ARel (id,_,_,_) ->
+ (try
+ ignore (Hashtbl.find ids_to_inner_types id).C2A.annsynthesized;
+ true;
+ with Not_found -> false)
| C.AVar (id,_,_) ->
(try
ignore (Hashtbl.find ids_to_inner_types id).C2A.annsynthesized;