/*
Value is always false (x * 2 == y * 2 + 1; line#9)
  Result of '*' is even (x * 2; line#9)
  and result of '+' is odd (y * 2 + 1; line#9)
    Result of '*' is even (y * 2; line#9)
 */
class Test {
  void test(int x, int y) {
    if (<selection>x * 2 == y * 2 + 1</selection>) {

    }
  }
}