Implemented and tested `transitiveReduction`.
Bumped minor version.