Updated transitive.js