Agreed. It should get itself into a twist with the undefined output being fed into the input and therefore the output always being undefined or 1.

Likewise, level 2.12 is a bit messed up, given you can ignore BitLineBar. I'm not sure what the intended solution was.