Parentheses-inserting strategy. Problem: Tree.attachments do not work (why??)
It works :-) Mark autotupled trees by putting them into a set instead of using attachments