Algorithm works but the ForkJoinPool doesnt terminate automatically, still need to implement the algorithm that turns the reduced partition into an LTS