Added check_expr to semantic.ml.