Fixed #26: undefined names, "(NOT (a AND b)) != ((NOT a) AND (NOT b))", ...

I fixed #26 and its test to really test the bug.