Sorry I meant to say that we don't really have facilities to compare attributed trees and unattributed ones. Referential transparency is a part of that, I'd say, but the problem is bigger than just referential transparency, I agree.