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