Fixed ESIL representation for RIP-relative addressing under x86