Characteristic predicate EdgeKind::CaseEdge::CaseEdge

CaseEdge()