Include path renaming in name policy

[jschneider-bensch]

          we might want to move this renaming to the name policy thing at some point.

Otherwise, name collisions are possible But for now that's completely fine, let's see that later

Originally posted by @W95Psp in https://github.com/hacspec/hax/pull/486#discussion_r1473933512