Add: Rule and tests for the FOR nested loops