Implement resolving ambiguities in tree symbol rules (Transform/ResolveTreeSymbolAmbiguities module). The ambiguities should be resolved by deeper pattern-maching (to look at tags) or combining disjoint tree symbols into one, and then perform deeper pattern-matching.
Implement resolving ambiguities in tree symbol rules (
Transform/ResolveTreeSymbolAmbiguitiesmodule). The ambiguities should be resolved by deeper pattern-maching (to look at tags) or combining disjoint tree symbols into one, and then perform deeper pattern-matching.