DE_instruction-lifting system MyBlok