method vannotation = function | Dlemma(f,_,_,_,_,_) as d -> current <- Some f ; Cil.ChangeDoChildrenPost( d , (fun d -> current <- None ; d) ) | _ -> Cil.DoChildren