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