In that precheck we check only whether one of possible resolutions is the expected one. Instead, we should require its uniqueness.
In that precheck we check only whether one of possible resolutions is the expected one. Instead, we should require its uniqueness.