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