added card_cut_vertices invariant