Check
checkSingle
checkMatches
dsPmWarn
computeNoGuards
isAnyPmCheckEnabled
warnManyGuards
maximum_failing_guards
genCaseTmCs1
genCaseTmCs2