fix output in hypothesis tests
perform wilcoxon tests with exact p-values
Fix transitive reduction of the BIG
Computation of reduced BIG for the running example