Backend just looks at symbols, not tree shapes.