I think this is a bug somewhere in the front-end. The same incorrect output happens on both the C++ and Java backends.
Given the program
The output produced by both backends prints Pairs from 0 to 30 instead of the expected 10 to 30. For example, with the Java backend: