[zypp-commit] <sat-solver> master : Testing for equality doesn't change the Pool