category feature A new predicate getSwitchCase was added to the SwitchStmt class, which yields the nth case statement from a switch statement.