Field EdgeKind::CaseEdge::maxValue