[LazyValueInfo] Look through Phi nodes when trying to prove a predicate