Throw if final resolver attempt throws.
Skip ResolverState clone on duplicate constraint
Improve error message on one particular conflict
refactor tests