Changed trace wording to handle the case where a rule is not required by anything.