sig
  val is_accessible : Cil_types.stmt -> bool
  val eval_cond : Cil_types.stmt -> Cil_types.exp -> bool * bool
  val dependencies : State.t list
  val name : string
end