Added check_var_decl to semantic.ml