Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

b:. b sBExpr

Applied Tactic: Unfolds ``sbexpr sbool`` 0 THEN Auto
Generated subgoals:

None