using PHI nodes to hold undetermined values