Hi, I'm no expert, but was wondering, why not make labelled AST a tree, which nodes are tupples holding a node of unlabeled tree and a label ? Regards, -- Intelligence is like a river: the deeper it is, the less noise it makes