bool 1 Doc

At: assert of bor 1 4
1. False False

False
By: Analyze 1
Generated subgoals:

None