Basisinvariantkiezer

Dit laat je toe om de basisinvariant op te geven. Dit is de invariant waarvoor je wil dat de vermoedensgenerator een vermoeden oppert.

Een vermoeden heeft de volgende vorm:

basisinvariant <= combinatie van overige invarianten.