If scheduled-before block is not a cf-predecessor, the function
ultimately computed a NaN and returned false. However, such blocks
should be aligned.

Initially, clang -fsanitize=undefined found the NaN, which is certainly
not expected by original programmer. The DELTA approach still looks
fishy to me.