diff --git a/examples2/tree/aarbology.test1.nonlinear.pattern.xml b/examples2/tree/aarbology.test1.nonlinear.pattern.xml
new file mode 100644
index 0000000000000000000000000000000000000000..895d4474245547d1bb6ecf17ad24547bf41ee3b1
--- /dev/null
+++ b/examples2/tree/aarbology.test1.nonlinear.pattern.xml
@@ -0,0 +1,2 @@
+<?xml version="1.0"?>
+<RankedNonlinearPattern><subtreeWildcard><RankedSymbol><SubtreeWildcardSymbol/><Unsigned>0</Unsigned></RankedSymbol></subtreeWildcard><rankedNonlinearVariables><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedNonlinearVariables><rankedAlphabet><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="0"/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol></rankedAlphabet><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedNode></rankedNode></rankedNode></rankedNode></rankedNode></rankedNode></RankedNonlinearPattern>