[zypp-commit] <sat-solver> - improve infarch/dup rule problem handling