sig
  val minmax : Z.t list -> Z.t * Z.t
  val notBoolExpr : Types.bool_expr -> Types.bool_expr
  val addLocationsProgram : Types.global_statement list -> Types.program
  val removeLabelsProgram :
    Types.loc * (Types.global_statement * Types.loc) list -> Types.program
  val invMin : Z.t -> Z.t -> Z.t
  val invMax : Z.t -> Z.t -> Z.t
  val removeCVariables : Types.abstrContext -> Types.abstrContext
  val getLocationNumber : Types.loc -> int
  val getRegNameVar : Types.reg32 -> Types.name_var
end