Removed check_call from semant.mli