If checked, cases not already in cycle are added, else the cases are reported as errors