JIT: de-inline branches marked as unlikely