sig
  type t
  val top : Transfer_logic.LogicDomain.t
  val equal :
    Transfer_logic.LogicDomain.t -> Transfer_logic.LogicDomain.t -> bool
  val evaluate_predicate :
    Transfer_logic.LogicDomain.t Abstract_domain.logic_environment ->
    Transfer_logic.LogicDomain.t -> Cil_types.predicate -> Alarmset.status
  val reduce_by_predicate :
    Transfer_logic.LogicDomain.t Abstract_domain.logic_environment ->
    Transfer_logic.LogicDomain.t ->
    Cil_types.predicate ->
    bool -> Transfer_logic.LogicDomain.t Eval.or_bottom
  val interpret_acsl_extension :
    Cil_types.acsl_extension ->
    Transfer_logic.LogicDomain.t Abstract_domain.logic_environment ->
    Transfer_logic.LogicDomain.t -> Transfer_logic.LogicDomain.t
end