Use pre- and post- conditions to attach directives
Add a simple repro of the lexer bug