special union of reachability sets works correctly now