Add tests
Compile file from stdin
Cancel lift when converting negation