Finished isTransitive. Merged project with GitHub