[w0000t]

False. Mill does not do register renaming. ( Or use "lies". I failed to comprehend you second sentence. )

Here is a talk from one of the designers explaining how it is done: https://www.youtube.com/watch?v=QGw-cy0ylCc&feature=youtu.be...

[stdbrouw]

"Lie" in this context means something like "abstraction or metaphor that doesn't present itself as such."