traversal.visitOperation(true);
traversal.visitBinding(true);
traversal.visitMessage(true);
traversal.visitPort(true);
traversal.ignoreImport();
traversal.ignoreReferences();
traversal.traverse(definition, params);
if (result.equals(AssertionResult.RESULT_FAILED))
{