module T13170 where
f :: Int -> Bool
f x = y == 2 || y == 3
  where y = -x