Skip rules preceded by `/*@noflip*/`

Skips rules that are preceded by a special comment, `/*@noflip*/`.
Closes #19.