The order in which the sub terms of a `TermTree` are `destruct`ed is determined by this `properties` list. So I think what is happening right now is something like `x = 10` gets expanded to `= x 10`. Thus the parse error you're seeing.