共1个循环的嵌套变式相关