let
reachables d =
(not (
State_set
.is_empty !(d.value))),!(d.value)