Make use of @llvm.assume from LazyValueInfo