52c2b005a3c1 ("bpf: take into account liveness when propagating precision")
529409ea92d5 ("bpf: propagate precision across all frames, not just the last one")