public Matcher(Dictionary<string, Tree> newNodeNames, CoindexationGenerator coindexer, PruneNode node) :
base(node, newNodeNames, coindexer)
{
this.node = node;
}
public Matcher(Dictionary <string, Tree> newNodeNames, CoindexationGenerator coindexer, PruneNode node) :
base(node, newNodeNames, coindexer)
{
this.node = node;
}