Do alias resolving a few times: this solves the Fox renaming problem