LoopVectorizer: Refactor the code that checks if it is safe to predicate blocks.