sig
  type state
  val top : Abstract_domain.Lattice.state
  val is_included :
    Abstract_domain.Lattice.state -> Abstract_domain.Lattice.state -> bool
  val join :
    Abstract_domain.Lattice.state ->
    Abstract_domain.Lattice.state -> Abstract_domain.Lattice.state
  val widen :
    Cil_types.kernel_function ->
    Cil_types.stmt ->
    Abstract_domain.Lattice.state ->
    Abstract_domain.Lattice.state -> Abstract_domain.Lattice.state
  val narrow :
    Abstract_domain.Lattice.state ->
    Abstract_domain.Lattice.state ->
    Abstract_domain.Lattice.state Eval.or_bottom
end