[zypp-commit] <sat-solver> master : - do not enter solvable data when not in leaf level