[Low] Make loops guarded in CCS
Some loops can cause a "too much unguarded recursion" error.
Example: https://pseuco.com/#/edit/remote/e02o1y3p4c5o4kcucktb
Some loops can cause a "too much unguarded recursion" error.
Example: https://pseuco.com/#/edit/remote/e02o1y3p4c5o4kcucktb