[analyzer] avoid some work for PHI nodes if values differ
[analyzer] update local values while const propagating to save some calculations