Not necessarily true. The guy could have still been on payroll as an informant. Again, we dont know. And even if he breaks contact rules he still has his given identity in place. They just dont guarantee safety or provide protection if threat arises.That's not true... But if he violates the rules in making contact or going where he is known they will just cease witsec.
Once he was seen in NY his time in witsec was done.