Class FinallyGraphHelper.FinallyEquivalenceConstraint