Correct semantic for chained comparisons. Now “1 <= a() <= b” if translated to “1 <= (temp = a()) && temp <= b”.