JumpThreading keeps LazyValueInfo up to date, so we don't need to rerun it