implement error message for SOLVER_RULE_UPDATE