Added new invariant k_max_clique