Function is_stable 

pub fn is_stable<S: Clone + Eq + Hash>(
    predicate: &HashSet<S>,
    rely: &RelyCondition<S>,
) -> bool

Check stability: a predicate P (given as a set of states) is stable under rely R if for every transition (s → s’) in R, s ∈ P → s’ ∈ P.