sig   val propagate_cst :     Formula_type.formula ->     ?recursive:int -> Smtlib2.smt_expr -> Smtlib2.smt_expr   val propagate_cst_bv :     Formula_type.formula ->     ?recursive:int -> Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr   val propagate_cst_abv :     Formula_type.formula ->     ?recursive:int -> Smtlib2.smt_abv_expr -> Smtlib2.smt_abv_expr   val rebase_expr :     Formula_type.formula -> Smtlib2.smt_expr -> Smtlib2.smt_expr   val rebase_bvexpr :     Formula_type.formula -> Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr   val rebase_abvexpr :     Formula_type.formula -> Smtlib2.smt_abv_expr -> Smtlib2.smt_abv_expr   val get_row_stats : unit -> int * int * int * int * int * int   val read_over_write :     Formula_type.formula -> Smtlib2.smt_expr -> Smtlib2.smt_expr   val read_over_write_bv :     Formula_type.formula -> Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr   val read_over_write_abv :     Formula_type.formula -> Smtlib2.smt_abv_expr -> Smtlib2.smt_abv_expr   val update_hybrid_memory :     Formula_type.formula ->     string ->     Smtlib2.smt_abv_expr -> Formula_type.hybrid_mem_t * Smtlib2.smt_abv_expr   val read_over_write_hybrid :     Formula_type.formula -> Smtlib2.smt_expr -> Smtlib2.smt_expr   val read_over_write_hybrid_bv :     Formula_type.formula -> Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr   val read_over_write_hybrid_abv :     Formula_type.formula -> Smtlib2.smt_abv_expr -> Smtlib2.smt_abv_expr   class memory_flattener_visitor :     object       method get_new_symbols : unit -> Smtlib2.SmtVarSet.t       method post_smt_abv_expr : Smtlib2.smt_abv_expr -> Smtlib2.smt_abv_expr       method post_smt_bv_expr : Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr       method post_smt_expr : Smtlib2.smt_expr -> Smtlib2.smt_expr       method pre_smt_abv_expr : Smtlib2.smt_abv_expr -> Smtlib2.smt_abv_expr       method pre_smt_bv_expr : Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr       method pre_smt_expr : Smtlib2.smt_expr -> Smtlib2.smt_expr       method smt_abv_array : Smtlib2.smt_abv_array -> Smtlib2.smt_abv_expr       method smt_abv_expr : Smtlib2.smt_abv_expr -> Smtlib2.smt_expr       method smt_abv_let :         (Smtlib2.smt_expr * Smtlib2.smt_expr) list ->         Smtlib2.smt_abv_expr -> Smtlib2.smt_abv_expr       method smt_abv_load32 :         Smtlib2.smt_abv_expr -> Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr       method smt_abv_select :         Smtlib2.smt_abv_expr -> Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr       method smt_abv_store :         Smtlib2.smt_abv_expr ->         Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr -> Smtlib2.smt_abv_expr       method smt_abv_store32 :         Smtlib2.smt_abv_expr ->         Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr -> Smtlib2.smt_abv_expr       method smt_and :         Smtlib2.smt_expr -> Smtlib2.smt_expr -> Smtlib2.smt_expr       method smt_bv_binary :         Smtlib2.smt_bv_binary ->         Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr       method smt_bv_cst : Bitvector.t -> Smtlib2.smt_bv_expr       method smt_bv_expr : Smtlib2.smt_bv_expr -> Smtlib2.smt_expr       method smt_bv_ite :         Smtlib2.smt_expr ->         Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr       method smt_bv_let :         (Smtlib2.smt_expr * Smtlib2.smt_expr) list ->         Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr       method smt_bv_token : Smtlib2.smt_bv_expr       method smt_bv_unary :         Smtlib2.smt_bv_unary -> Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr       method smt_bv_var : Smtlib2.smt_bv_var -> Smtlib2.smt_bv_expr       method smt_comment : string -> Smtlib2.smt_expr       method smt_comp :         Smtlib2.smt_expr -> Smtlib2.smt_expr -> Smtlib2.smt_expr       method smt_false : Smtlib2.smt_expr       method smt_ite :         Smtlib2.smt_expr ->         Smtlib2.smt_expr -> Smtlib2.smt_expr -> Smtlib2.smt_expr       method smt_let :         (Smtlib2.smt_expr * Smtlib2.smt_expr) list ->         Smtlib2.smt_expr -> Smtlib2.smt_expr       method smt_not : Smtlib2.smt_expr -> Smtlib2.smt_expr       method smt_or :         Smtlib2.smt_expr -> Smtlib2.smt_expr -> Smtlib2.smt_expr       method smt_token : Smtlib2.smt_expr       method smt_true : Smtlib2.smt_expr       method visit_smt_abv_expr :         Smtlib2.smt_abv_expr -> Smtlib2.smt_abv_expr       method visit_smt_bv_expr : Smtlib2.smt_bv_expr -> Smtlib2.smt_bv_expr       method visit_smt_expr : Smtlib2.smt_expr -> Smtlib2.smt_expr     end end