https://123dok.net/document/yj7r9lep-probabilistic-operators-constraint-combinators-application-statistical-structural-testing.html