class occurrence :Inheritsobject
..end
val mutable decls : (Cil_types.varinfo * Locations.Zone.t) list
method private current_ki : Cil_types.kinstr
method vvdec : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method vterm_lval : Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction