Prove that renaming import works

Because we match over symbols instead of Trees.