pub fn has_tool_redefinitions(messages: &[Message]) -> bool
Whether a tool name is declared twice with different declarations.