[Bug 669933] New: satsolver rule types not handled in ZYpp