semantic: Correctly rewrite identifierexps after changes.