New rule: Use only ascii symbols in identifiers and comments.