Debug test_and and test_or which did not consume their arguments