Versucht. Trotz einiger falsch positiver Ergebnisse wurden Fehler in den Modellen gefunden, viele Inkonsistenzen in der Notation, zahlreiche Möglichkeiten zur Verbesserung der Klarheit des Schreibens und viele andere Details. Wirklich erstaunliches Tool, werde es wieder verwenden und kann es sehr empfehlen. @ben_golub