Reuse isSymmetric in isTransitive
Add comment about usage of isSymmetric
Fixes
Add porter
Add porter