geplante Verbesserungen
Verwendung BoolStringTupel für bessere
Fehlertexte
3-state Logik (Menüpunkt aktiv/inaktiv/unsichtbar)
projizierte Prädikate
(Wiederverwendung Prädikat für
anderen Kontext-Objekt-Typ,
atomare sichere Operationen für
mehrere Ctx-Obj-Member)
sichere Schleife
(Vermeidung Endlos-Schleife, Invarianten)
Totale Ordnung für kontinuierliche Werte
(float, double, BigDecimal)
Vorgefertigte Prädikate für All-Quantor
und Existenz-Quantor auf Arrays und
Collections
Umstellung auf SAT-Solver