Characteristic predicate DuplicateSwitchCase::DuplicateSwitchCase::DuplicateSwitchCase

DuplicateSwitchCase()