implemented: FMTypeChecker.missingAlternatives
implemented: checkConstraintImposing*
implemented: FMTypeChecker.superimposedOptional
implemented: NewFMTypeChecker.checkDeadFeatures
implemented: NewFMTypeChecker.findBadSmells
implemented Main.execCheck1
implemented Main.execMinisat
implemented Main.execSAT