Update emptiness_check.ml