Tree rewriting now keeps passing along specifier information