That suggestion is certainley worth mulling over WOK, esp in IMC. The question I have is, if 2 TCAS RA aircraft are coordinating, and one aircraft is ignoring RA commands, does the other (RA-obeying) aircraft's TCAS realise that the other one ISNT obeying?
If the obeying TCAS doesnt realise it, then you have a very strong case.