Reming to compile the checker statically in the task type page