Create emptiness_check.ml