Draft: Merge modular-partial-order-reduction branch into trunk

This branch is only for having a good overview for giving feedback. The algorithm implementation is still in progress and a merge is currently not desired.