Add assertions for linearity
Negative lookahead is working.