class contains_c_at : object .. end
object
end
Visitor.frama_c_inplace
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
Cil_types.term -> Cil_types.term Cil.visitAction