satEX :: (CTL m a s, Ord a, Ord s) => m -> Formula a -> Set s
satEX m phi = preE m (sat m phi)
satEX :: (CTL m a s, Ord a, Ord s) => m -> Formula a -> Set s
satEX m phi = preE m (sat m phi)
satEX m phi = preE m (sat m phi)