I think so. `tagMap` is just for tracking which tags have been rewritten so that we only rewrite them once. The final target rewritings are tracked by `shaMap`.