Lift instruction to VEX, using PyVEX, and translate to MeanDiff's UIR - View it on GitHub