Implemented tools for call order verification.