sbv-14.4: SBVTestSuite/GoldFiles/lambda37.gold

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