Pattern matcher frontend or backend which displays results in a tree
