Implemented and tested NestedForLoopRule