[0.3.7] Make LabeledEdge non-final