Improve names for functions in the checker.