constant realclassify
constant caseA1
constant caseAk
constant caseD4
constant caseDk
constant caseE6
constant caseE7
constant caseE8
constant modality1NF
constant addnondegeneratevariables
constant realmorsesplit
constant sym_reduce
constant rewriteformorsesplit
constant milnornumber
constant determinacy