sbv-14.4: SBVTestSuite/GoldFiles/optExtField2.gold

Optimal in an extension field:
  x_plus_y = -oo :: Integer