| C.Variable (b, None, w, _, _), _ -> Some (C.Name b, C.Decl w)
| C.Variable (b, Some v, w, _, _), _ -> Some (C.Name b, C.Def (v, w))
| _ -> None
in
List.rev_map map vars
| C.Variable (b, None, w, _, _), _ -> Some (C.Name b, C.Decl w)
| C.Variable (b, Some v, w, _, _), _ -> Some (C.Name b, C.Def (v, w))
| _ -> None
in
List.rev_map map vars