class do_it :Inheritsobject
..end
val mutable current_stmt : Cil_types.kinstr
val mutable derefs : Locations.Zone.t
method set_current_stmt : Cil_types.stmt -> Cil_types.kinstr
method result : Locations.Zone.t
method join : Locations.Zone.t -> unit
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction