Check

checkSingle

checkMatches

dsPmWarn

computeNoGuards

isAnyPmCheckEnabled

warnManyGuards

maximum_failing_guards

genCaseTmCs1

genCaseTmCs2