Debugging TACTIC