let exp = ref 0 in
let meta id = C.AImplicit (id, None) in
let map v (cl, b) =
- if I.overlaps synth cl then
- let w = if H.is_atomic (H.cic v) then v else meta "" in
- if b then v, v else meta "", w
- else
- meta "", meta ""
+ if I.overlaps synth cl
+ then if b then v, v else meta "", v
+ else meta "", meta ""
in
let rec rev a = function
| [] -> a