Figure 3: LLIL tree structures for the example vtable dispatch assembly, annotated with operation_handler calls and propagation of concrete values back up the call chain.