add two testcases to lexer contract:

* check if lexer recognize a NotAToken at end of file
* check if lexer behaves correctly if initialize with null