On the design of coordination diagnosis algorithms for teams of situated agents