fun main() -> int@ {
  let x = 1; let y = 2;
  if (x < y and y > x and x <= x and not (x >= y))
    if ((false or true) and not false)
      return 0;
    else
      return 1;
  else
    return 1;
}