Optimal model:
  x        = 1 :: Integer
  y        = 1 :: Integer
  x_plus_y = 2 :: Integer