pub fn op_targets(op: &Op) -> Vec<usize>
Absolute control-transfer targets of an op (for tape arrows / reachability).