Test10313.hs:9:13: error:
    The deprecation for ‘solverCheckAndGetModel’
      lacks an accompanying binding

Test10313.hs:15:16: error:
    Multiple warning declarations for ‘Logic’
    also at  Test10313.hs:9:13-17

Test10313.hs:15:16: error:
    The deprecation for ‘solverCheckAndGetModel’
      lacks an accompanying binding

Test10313.hs:16:13: error:
    Multiple warning declarations for ‘solverCheckAndGetModel’
    also at  Test10313.hs:10:13-34

Test10313.hs:30:15: error:
    Not in scope: data constructor ‘Bitstream’

Test10313.hs:32:7: error:
    Not in scope: ‘S.concatMap’
    No module named ‘S’ is imported.

Test10313.hs:32:27: error:
    Not in scope: ‘GV.stream’
    No module named ‘GV’ is imported.

Test10313.hs:33:7: error:
    Not in scope: ‘S.sized’
    No module named ‘S’ is imported.