higher bound for the
integer bound in if
✕
___
stream
else
then
state
name
test
if
lo
↺ Reset