Document the fact that Dot crashes on cycles.
Detect *cycles*, not multiple occurances of an object.
Handle cycles in Dot.