sig   class type frama_c_visitor =     object       method behavior : Cil.visitor_behavior       method current_func : Cil_types.fundec option       method current_kf : Cil_types.kernel_function option       method current_kinstr : Cil_types.kinstr       method current_stmt : Cil_types.stmt option       method fill_global_tables : unit       method frama_c_plain_copy : Visitor.frama_c_visitor       method get_filling_actions : (unit -> unit) Queue.t       method plain_copy_visitor : Cil.cilVisitor       method pop_stmt : Cil_types.stmt -> unit       method project : Project.t option       method push_stmt : Cil_types.stmt -> unit       method queueInstr : Cil_types.instr list -> unit       method reset_current_func : unit -> unit       method reset_current_kf : unit -> unit       method set_current_func : Cil_types.fundec -> unit       method set_current_kf : Cil_types.kernel_function -> unit       method unqueueInstr : unit -> Cil_types.instr list       method vallocates :         Cil_types.identified_term list ->         Cil_types.identified_term list Cil.visitAction       method vallocation :         Cil_types.identified_term Cil_types.allocation ->         Cil_types.identified_term Cil_types.allocation Cil.visitAction       method vannotation :         Cil_types.global_annotation ->         Cil_types.global_annotation Cil.visitAction       method vassigns :         Cil_types.identified_term Cil_types.assigns ->         Cil_types.identified_term Cil_types.assigns Cil.visitAction       method vattr :         Cil_types.attribute -> Cil_types.attribute list Cil.visitAction       method vattrparam :         Cil_types.attrparam -> Cil_types.attrparam Cil.visitAction       method vbehavior :         Cil_types.funbehavior -> Cil_types.funbehavior Cil.visitAction       method vblock : Cil_types.block -> Cil_types.block Cil.visitAction       method vcode_annot :         Cil_types.code_annotation ->         Cil_types.code_annotation Cil.visitAction       method vcompinfo :         Cil_types.compinfo -> Cil_types.compinfo Cil.visitAction       method vdeps :         Cil_types.identified_term Cil_types.deps ->         Cil_types.identified_term Cil_types.deps Cil.visitAction       method venuminfo :         Cil_types.enuminfo -> Cil_types.enuminfo Cil.visitAction       method venumitem :         Cil_types.enumitem -> Cil_types.enumitem Cil.visitAction       method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction       method vfieldinfo :         Cil_types.fieldinfo -> Cil_types.fieldinfo Cil.visitAction       method vfile : Cil_types.file -> Cil_types.file Cil.visitAction       method vfrees :         Cil_types.identified_term list ->         Cil_types.identified_term list Cil.visitAction       method vfrom :         Cil_types.identified_term Cil_types.from ->         Cil_types.identified_term Cil_types.from Cil.visitAction       method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction       method vglob :         Cil_types.global -> Cil_types.global list Cil.visitAction       method vglob_aux :         Cil_types.global -> Cil_types.global list Cil.visitAction       method videntified_predicate :         Cil_types.identified_predicate ->         Cil_types.identified_predicate Cil.visitAction       method videntified_term :         Cil_types.identified_term ->         Cil_types.identified_term Cil.visitAction       method vimpact_pragma :         Cil_types.term Cil_types.impact_pragma ->         Cil_types.term Cil_types.impact_pragma Cil.visitAction       method vinit :         Cil_types.varinfo ->         Cil_types.offset -> Cil_types.init -> Cil_types.init Cil.visitAction       method vinitoffs : Cil_types.offset -> Cil_types.offset Cil.visitAction       method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction       method vlogic_ctor_info_decl :         Cil_types.logic_ctor_info ->         Cil_types.logic_ctor_info Cil.visitAction       method vlogic_ctor_info_use :         Cil_types.logic_ctor_info ->         Cil_types.logic_ctor_info Cil.visitAction       method vlogic_info_decl :         Cil_types.logic_info -> Cil_types.logic_info Cil.visitAction       method vlogic_info_use :         Cil_types.logic_info -> Cil_types.logic_info Cil.visitAction       method vlogic_label :         Cil_types.logic_label -> Cil_types.logic_label Cil.visitAction       method vlogic_type :         Cil_types.logic_type -> Cil_types.logic_type Cil.visitAction       method vlogic_type_def :         Cil_types.logic_type_def -> Cil_types.logic_type_def Cil.visitAction       method vlogic_type_info_decl :         Cil_types.logic_type_info ->         Cil_types.logic_type_info Cil.visitAction       method vlogic_type_info_use :         Cil_types.logic_type_info ->         Cil_types.logic_type_info Cil.visitAction       method vlogic_var_decl :         Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction       method vlogic_var_use :         Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction       method vloop_pragma :         Cil_types.term Cil_types.loop_pragma ->         Cil_types.term Cil_types.loop_pragma Cil.visitAction       method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction       method vmodel_info :         Cil_types.model_info -> Cil_types.model_info Cil.visitAction       method voffs : Cil_types.offset -> Cil_types.offset Cil.visitAction       method vpredicate :         Cil_types.predicate -> Cil_types.predicate Cil.visitAction       method vpredicate_node :         Cil_types.predicate_node -> Cil_types.predicate_node Cil.visitAction       method vquantifiers :         Cil_types.quantifiers -> Cil_types.quantifiers Cil.visitAction       method vslice_pragma :         Cil_types.term Cil_types.slice_pragma ->         Cil_types.term Cil_types.slice_pragma Cil.visitAction       method vspec : Cil_types.funspec -> Cil_types.funspec Cil.visitAction       method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction       method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction       method vterm : Cil_types.term -> Cil_types.term Cil.visitAction       method vterm_lhost :         Cil_types.term_lhost -> Cil_types.term_lhost Cil.visitAction       method vterm_lval :         Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction       method vterm_node :         Cil_types.term_node -> Cil_types.term_node Cil.visitAction       method vterm_offset :         Cil_types.term_offset -> Cil_types.term_offset Cil.visitAction       method vtype : Cil_types.typ -> Cil_types.typ Cil.visitAction       method vvdec : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction       method vvrbl : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction     end   class frama_c_inplace : frama_c_visitor   class frama_c_copy : Project.t -> frama_c_visitor   class frama_c_refresh : Project.t -> frama_c_visitor   class generic_frama_c_visitor : Cil.visitor_behavior -> frama_c_visitor   val visitFramacFileCopy :     Visitor.frama_c_visitor -> Cil_types.file -> Cil_types.file   val visitFramacFile : Visitor.frama_c_visitor -> Cil_types.file -> unit   val visitFramacFileSameGlobals :     Visitor.frama_c_visitor -> Cil_types.file -> unit   val visitFramacGlobal :     Visitor.frama_c_visitor -> Cil_types.global -> Cil_types.global list   val visitFramacKf :     Visitor.frama_c_visitor -> Kernel_function.t -> Kernel_function.t   val visitFramacFunction :     Visitor.frama_c_visitor -> Cil_types.fundec -> Cil_types.fundec   val visitFramacExpr :     Visitor.frama_c_visitor -> Cil_types.exp -> Cil_types.exp   val visitFramacLval :     Visitor.frama_c_visitor -> Cil_types.lval -> Cil_types.lval   val visitFramacOffset :     Visitor.frama_c_visitor -> Cil_types.offset -> Cil_types.offset   val visitFramacInitOffset :     Visitor.frama_c_visitor -> Cil_types.offset -> Cil_types.offset   val visitFramacInstr :     Visitor.frama_c_visitor -> Cil_types.instr -> Cil_types.instr list   val visitFramacStmt :     Visitor.frama_c_visitor -> Cil_types.stmt -> Cil_types.stmt   val visitFramacBlock :     Visitor.frama_c_visitor -> Cil_types.block -> Cil_types.block   val visitFramacType :     Visitor.frama_c_visitor -> Cil_types.typ -> Cil_types.typ   val visitFramacVarDecl :     Visitor.frama_c_visitor -> Cil_types.varinfo -> Cil_types.varinfo   val visitFramacLogicVarDecl :     Visitor.frama_c_visitor -> Cil_types.logic_var -> Cil_types.logic_var   val visitFramacInit :     Visitor.frama_c_visitor ->     Cil_types.varinfo -> Cil_types.offset -> Cil_types.init -> Cil_types.init   val visitFramacAttributes :     Visitor.frama_c_visitor ->     Cil_types.attribute list -> Cil_types.attribute list   val visitFramacAnnotation :     Visitor.frama_c_visitor ->     Cil_types.global_annotation -> Cil_types.global_annotation   val visitFramacCodeAnnotation :     Visitor.frama_c_visitor ->     Cil_types.code_annotation -> Cil_types.code_annotation   val visitFramacAllocation :     Visitor.frama_c_visitor ->     Cil_types.identified_term Cil_types.allocation ->     Cil_types.identified_term Cil_types.allocation   val visitFramacAssigns :     Visitor.frama_c_visitor ->     Cil_types.identified_term Cil_types.assigns ->     Cil_types.identified_term Cil_types.assigns   val visitFramacFrom :     Visitor.frama_c_visitor ->     Cil_types.identified_term Cil_types.from ->     Cil_types.identified_term Cil_types.from   val visitFramacDeps :     Visitor.frama_c_visitor ->     Cil_types.identified_term Cil_types.deps ->     Cil_types.identified_term Cil_types.deps   val visitFramacFunspec :     Visitor.frama_c_visitor -> Cil_types.funspec -> Cil_types.funspec   val visitFramacLogicType :     Visitor.frama_c_visitor -> Cil_types.logic_type -> Cil_types.logic_type   val visitFramacPredicateNode :     Visitor.frama_c_visitor ->     Cil_types.predicate_node -> Cil_types.predicate_node   val visitFramacPredicate :     Visitor.frama_c_visitor -> Cil_types.predicate -> Cil_types.predicate   val visitFramacIdPredicate :     Visitor.frama_c_visitor ->     Cil_types.identified_predicate -> Cil_types.identified_predicate   val visitFramacPredicates :     Visitor.frama_c_visitor ->     Cil_types.identified_predicate list ->     Cil_types.identified_predicate list   val visitFramacIdTerm :     Visitor.frama_c_visitor ->     Cil_types.identified_term -> Cil_types.identified_term   val visitFramacTerm :     Visitor.frama_c_visitor -> Cil_types.term -> Cil_types.term   val visitFramacTermLval :     Visitor.frama_c_visitor -> Cil_types.term_lval -> Cil_types.term_lval   val visitFramacTermLhost :     Visitor.frama_c_visitor -> Cil_types.term_lhost -> Cil_types.term_lhost   val visitFramacTermOffset :     Visitor.frama_c_visitor -> Cil_types.term_offset -> Cil_types.term_offset   val visitFramacLogicInfo :     Visitor.frama_c_visitor -> Cil_types.logic_info -> Cil_types.logic_info   val visitFramacBehavior :     Visitor.frama_c_visitor -> Cil_types.funbehavior -> Cil_types.funbehavior   val visitFramacBehaviors :     Visitor.frama_c_visitor ->     Cil_types.funbehavior list -> Cil_types.funbehavior list   val visitFramacModelInfo :     Visitor.frama_c_visitor -> Cil_types.model_info -> Cil_types.model_info   val visitFramacExtended :     Visitor.frama_c_visitor ->     Cil_types.acsl_extension -> Cil_types.acsl_extension end