fix DistributionConstraintLibrary