While playing around with some combinators I noticed that one of the conditions is highlighted green when it is false and not highlighted when it should be true.
In the below image, A = 0 but the condition is not highlighted.
https://i.imgur.com/7l2tC4e.png

In this image, A = 1 but the ...