/*
Value is always false (x % 10 == 15; line#7)
  Result of '%' is in {-9..9} (x % 10; line#7)
 */
class Test {
  void test(int x) {
    if (<selection>x % 10 == 15</selection>) {

    }
  }
}