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