sbv-10.0: SBVTestSuite/GoldFiles/lambda37.gold

; user defined axiom: 
(assert (forall ((l1_s0 Bool))
    (not l1_s0)))