Getting started with probability-based reduction; Need to debug
duplicate case and add 10-test case in JUnit tests