New module for utility functions in the checker