change tuple operator name in treeize to avoid confusions