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 join_and_is_included :     Abstract_domain.Lattice.state ->     Abstract_domain.Lattice.state -> Abstract_domain.Lattice.state * bool   val widen :     Cil_types.kernel_function ->     Cil_types.stmt ->     Abstract_domain.Lattice.state ->     Abstract_domain.Lattice.state -> Abstract_domain.Lattice.state end