commented check_error_def_inst function