(|=) :: (CTL m a s, Ord a, Ord s) => (m, s) -> Formula a -> Bool
(m, s) |= phi = Set.member s (sat m phi)
(|=) :: (CTL m a s, Ord a, Ord s) => (m, s) -> Formula a -> Bool
(m, s) |= phi = Set.member s (sat m phi)
(m, s) |= phi = Set.member s (sat m phi)