add a basic example of a transitive closure calculation