Member predicate SwitchCase::isNthCaseOf
Holds if this is the nth case of switch block parent.
predicate isNthCaseOf(SwitchBlock parent, int n)Holds if this is the nth case of switch block parent.
predicate isNthCaseOf(SwitchBlock parent, int n)