Move logic from JumpThreading into LazyValue info to simplify caller.