sbv-7.0: SBVTestSuite/GoldFiles/assertSoft1.gold

Optimal model:
  x   =     0 :: Integer
  y   =     1 :: Integer
  as1 = False :: Bool
  as2 =  True :: Bool
  as3 =  True :: Bool
  as4 = False :: Bool