https://9dok.net/document/qmjrlln4-dipro-a-tool-for-probabilistic-counterexample-generation.html