Delete lines 511 to 515 to run semantic_check.ml