Module leo_passes::type_checking::check_program