Check for duplicate values in place.
Also removed special phi test in scope provider - no longer necessary
since domination analysis finds the same problem anyway.