the algorithm works but not very well, needs debugging
Algorithm works but the ForkJoinPool doesnt terminate automatically, still need to implement the algorithm that turns the reduced partition into an LTS
Main and PseuCoShare added to kongruenz.util
Fixed several smaller problems, forgot to shut down ThreadPoolExecutor