[zypp-devel] sat-solver must not abort()