Improved tests for NestedForLoopRule