top-level transitive closure, passed regression test, passed raytracer