sbv-11.1: SBVTestSuite/GoldFiles/optBasicsRange_08_signed_min.gold

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