Add an option for skipping invariants for k=2.