Remove case-insensitive management in asserter generator.