is_live_before
alive = is_live_before(curframe_instance, q->insn_idx, rel, half_spi);
? is_live_before(instance, callsite, rel, half_spi)
: is_live_before(instance, callsite + 1, rel, half_spi);