The IR framework currently prints "Disabling IR matching for [method] : [reason]" when one of the IR rules of a method does not apply. This is misleading, because other IR rules of that same method might still be verified.