Fix recursion order bug with arithmetic transformer, and additionally add a visitor that decorates the arithmetic parts with Strahler number