pub fn stability_condition_ty() -> Expr
StabilityCondition: P is stable under R if R-steps preserve P. Type: (State → Prop) → (State → State → Prop) → Prop