Distribution control is broken

[MaximilianAlgehed]

The following test, which had been removed from the test suite at some point, now fails for some reason:

  test/Constrained/Tests.hs:298:5: 
  1) constrained.posNegDistr prop_sound
       Insufficient coverage (after 800 tests):
         97.0% successful
         48.0% x positive
         
         Only 48.0% x positive, but expected 60.0%

  To rerun use: --match "/constrained/posNegDistr/prop_sound/" --seed 497304044