Characteristic predicate Splitting::FinallySplitting::FinallySplitType::FinallySplitType

FinallySplitType()