Added check_call to semantic.ml.