Added unique tree to core and toString/toUniqueString to DefinitionBlock.