binary_op_lifter!
DisassemblyTextRenderer.get_instruction_annotations
lea
add
if (a || b || c || d || e || f)