sbv-10.11: SBVTestSuite/GoldFiles/optBasicsRange_08_signed_min.gold

Optimal model:
  m                = -128 :: Int8
  x                = -128 :: Int8
  toMetricSpace(m) =    0 :: Word8