Constant propagation after hiting llvm.assume