It seems like its not testing for the right conditions any more and therefore not finding any messages that are implemented but not sent.
I think this and the problem I was having the other day is from removing the use of the RBSmallLintContext class from checking criitcs issues. Why did you decide to do that?