Doing an innermost traversal fails to propagate ast-mapping for the root node.

Workaround:

preserve(s) = ![<id>]; all(s); Hd

or

preserve(s) = !Some(<id>); all(s); ?Some(<id>)

Submitted by Nathan Bruning on 29 March 2010 at 10:07

There’s no general way to fix this (other than patching all traversal strategies, such as innermost, topdown, etc.) So I’m closing this issue as a wontfix. However, the origin tracking API of Spoofax/11 will include something like preserve(s).