traversal.ignoreImport();
traversal.ignoreDefinition2Binding();
traversal.ignoreDefinition2Element();
traversal.ignoreDefinition2ExtensibilityElement();
traversal.ignoreDefinition2Message();
traversal.ignoreDefinition2PortType();
traversal.ignoreDefinition2Types();
traversal.traverse(def);
if (!claimFound)