TCAS debugging