1 2 3 4 5 6 7 8 9
rule test { condition: for any x in (1, 2, 3) : ( for any y in (1, 2, 3) : ( y == 1 ) and y == 1 ) }