Make use @llvm.assume for loop guards in ScalarEvolution