Characteristic predicate ConstSwitchStmt :: ConstSwitchStmt
ConstSwitchStmt
(
)