Feature/nemo changes for static checks

[xR0xEr]

Zweck

Dieser Pull Request stellt die Änderungen am nemo-Crate bereit, die vom separaten Crate nemo-static-checks benötigt werden. Die eigentlichen statischen Prüfungen sind nicht Bestandteil dieses PRs.

Änderungen

• Unterstützung von Origin::Skolemization, einschließlich Fehler- und Tracing-Auflösung
• Iterator-basierte Variablenzugriffe für Regeln:
  • positive_variables()
  • import_variables()
  • existential_variables()
  • frontier_variables()
  • interne Ermittlung universeller Kopfvariablen
• Atom::universal_variables()
• Referenzbasierter Zugriff auf Prädikate für Atom, Literal und Rule
• Öffentlicher Konstruktor FunctionTerm::new_tagged()
• Implementierung von Ord für Tag und Variable
• Neue Programmtransformationen:
  • Critical-Instance-Transformation
  • Filterung existenzieller bzw. nicht-existenzieller Regeln
  • MSA-Transformation