object   val mutable force_brace : bool   val mutable is_ghost : bool   val mutable logic_printer_enabled : bool   val mutable verbose : bool   method allocation :     isloop:bool ->     Format.formatter ->     Cil_types.identified_term Cil_types.allocation -> unit   method annotated_stmt :     Cil_types.stmt -> Format.formatter -> Cil_types.stmt -> unit   method assigns :     string ->     Format.formatter -> Cil_types.identified_term Cil_types.assigns -> unit   method assumes : Format.formatter -> Cil_types.identified_predicate -> unit   method attribute : Format.formatter -> Cil_types.attribute -> bool   method attributes : Format.formatter -> Cil_types.attributes -> unit   method attrparam : Format.formatter -> Cil_types.attrparam -> unit   method behavior : Format.formatter -> Cil_types.funbehavior -> unit   method binop : Format.formatter -> Cil_types.binop -> unit   method block : ?braces:bool -> Format.formatter -> Cil_types.block -> unit   method code_annotation :     Format.formatter -> Cil_types.code_annotation -> unit   method complete_behaviors : Format.formatter -> string list -> unit   method constant : Format.formatter -> Cil_types.constant -> unit   method private current_behavior : Cil_types.funbehavior option   method private current_function : Cil_types.varinfo option   method private current_stmt : Cil_types.stmt option   method decreases :     Format.formatter -> Cil_types.term Cil_types.variant -> unit   method disjoint_behaviors : Format.formatter -> string list -> unit   method exp : Format.formatter -> Cil_types.exp -> unit   method field : Format.formatter -> Cil_types.fieldinfo -> unit   method fieldinfo : Format.formatter -> Cil_types.fieldinfo -> unit   method file : Format.formatter -> Cil_types.file -> unit   method fkind : Format.formatter -> Cil_types.fkind -> unit   method force_brace :     (Format.formatter -> '-> unit) -> Format.formatter -> '-> unit   method from :     string ->     Format.formatter -> Cil_types.identified_term Cil_types.from -> unit   method funspec : Format.formatter -> Cil_types.funspec -> unit   method private get_instr_terminator : unit -> string   method global : Format.formatter -> Cil_types.global -> unit   method global_annotation :     Format.formatter -> Cil_types.global_annotation -> unit   method private has_annot : bool   method identified_predicate :     Format.formatter -> Cil_types.identified_predicate -> unit   method identified_term :     Format.formatter -> Cil_types.identified_term -> unit   method ikind : Format.formatter -> Cil_types.ikind -> unit   method init : Format.formatter -> Cil_types.init -> unit   method private inline_block : ?has_annot:bool -> Cil_types.block -> bool   method instr : Format.formatter -> Cil_types.instr -> unit   method label : Format.formatter -> Cil_types.label -> unit   method line_directive :     ?forcefile:bool -> Format.formatter -> Cil_types.location -> unit   method location : Format.formatter -> Cil_types.location -> unit   method logic_constant :     Format.formatter -> Cil_types.logic_constant -> unit   method logic_info : Format.formatter -> Cil_types.logic_info -> unit   method logic_label : Format.formatter -> Cil_types.logic_label -> unit   method logic_type :     (Format.formatter -> unit) option ->     Format.formatter -> Cil_types.logic_type -> unit   method logic_type_def :     Format.formatter -> Cil_types.logic_type_def -> unit   method logic_var : Format.formatter -> Cil_types.logic_var -> unit   method lval : Format.formatter -> Cil_types.lval -> unit   method private may_be_skipped : Cil_types.stmt -> bool   method model_field : Format.formatter -> Cil_types.model_info -> unit   method model_info : Format.formatter -> Cil_types.model_info -> unit   method next_stmt :     Cil_types.stmt -> Format.formatter -> Cil_types.stmt -> unit   method offset : Format.formatter -> Cil_types.offset -> unit   method private opt_funspec : Format.formatter -> Cil_types.funspec -> unit   method post_cond :     Format.formatter ->     Cil_types.termination_kind * Cil_types.identified_predicate -> unit   method pp_acsl_keyword : Format.formatter -> string -> unit   method pp_close_annotation :     ?block:bool -> ?suf:Pretty_utils.sformat -> Format.formatter -> unit   method pp_keyword : Format.formatter -> string -> unit   method pp_open_annotation :     ?block:bool -> ?pre:Pretty_utils.sformat -> Format.formatter -> unit   method predicate : Format.formatter -> Cil_types.predicate -> unit   method predicate_node :     Format.formatter -> Cil_types.predicate_node -> unit   method quantifiers : Format.formatter -> Cil_types.quantifiers -> unit   method relation : Format.formatter -> Cil_types.relation -> unit   method private require_braces : ?has_annot:bool -> Cil_types.block -> bool   method requires :     Format.formatter -> Cil_types.identified_predicate -> unit   method reset : unit -> unit   method private set_instr_terminator : string -> unit   method stmt : Format.formatter -> Cil_types.stmt -> unit   method stmt_labels : Format.formatter -> Cil_types.stmt -> unit   method stmtkind :     Cil_types.stmt -> Format.formatter -> Cil_types.stmtkind -> unit   method storage : Format.formatter -> Cil_types.storage -> unit   method term : Format.formatter -> Cil_types.term -> unit   method term_binop : Format.formatter -> Cil_types.binop -> unit   method term_lval : Format.formatter -> Cil_types.term_lval -> unit   method term_node : Format.formatter -> Cil_types.term -> unit   method term_offset : Format.formatter -> Cil_types.term_offset -> unit   method terminates :     Format.formatter -> Cil_types.identified_predicate -> unit   method typ :     ?fundecl:Cil_types.varinfo ->     (Format.formatter -> unit) option ->     Format.formatter -> Cil_types.typ -> unit   method unop : Format.formatter -> Cil_types.unop -> unit   method variant :     Format.formatter -> Cil_types.term Cil_types.variant -> unit   method varinfo : Format.formatter -> Cil_types.varinfo -> unit   method varname : Format.formatter -> string -> unit   method vdecl : Format.formatter -> Cil_types.varinfo -> unit   method without_annot :     (Format.formatter -> '-> unit) -> Format.formatter -> '-> unit end