EquivalentValue: Remove getDeepestValue().

Add check at constructor so that we never get EquivalentValue inside.
This renders (original buggy) getDeepestValue() obsolete.