for G being with_finite_stability# SimpleGraph st stability# G = 1 holds
G is clique