Momentbasierte Invarianten für probabilistische Schleifen mit nicht-polynomischen Zuordnungen