for G being with_finite_clique# SimpleGraph st clique# G = 1 holds
Vertices G is StableSet of G