Allow restricting positive literals in formula besides percentTrueEntries

[JNAOB]

CLOSE #219

Breaking Changes:

• literals für Cnf, Dnf und Syntaxbäume enthält jetzt Duplikate
• percentTrueEntries heißt jetzt percentRangeMode und ist vom Typ PercentRangeMode
• withRatio wird in diesem Repo nicht mehr genutzt und ist jetzt deprecated. Wenn es nicht außerhalb des Repos benutzt wird, kann es auch gelöscht werden.

Module für die posLiterals getestet wird

• Decide
• FillSpec

PickSpec hat noch einen eigenen Config Check, dass die Range mindestens 30 betragen soll. Ist das ein Artefakt aus der Zeit in der checkTruthValueRange noch nicht darauf geachtet hat, dass wirklich eine Instanz möglich ist? Also kann Pick an die anderen beiden angepasst werden, in dem der 30 % check gelöscht wird oder soll der Check in Pick auch auf posLiterals angewendet werden oder weiterhin nur auf trueEntries?

In MinMax war der Test eh nie eingeschränkt.

Kann es sein, dass im Allgemeinen die Test Suite sowieso nie percentTrueEntries getestet hat, da abgesehen von MinMax alle anderen Module nur auf Syntaxbäumen getestet werden und dort percentTrueEntries verboten ist?

Da in Syntaxbäumen percentTrueEntries verboten ist, entspricht das doch quasi keinem Test. Fürs Erste wurde das Verbot auch für percentRangeMode übernommen.

Wenn diese Fragen geklärt sind, können die Namen und Ausgaben der Funktionen checkFullRangeForSynTrees, checkTruthValueRangeAndFormulaConf usw. angepasst werden.