Fix SCEV overly optimistic back edge taken count for multi-exit loops.