CM.CP.3.c: Identify conditions that cause infinite loops.