1. EXTENDED: Added option traversal to graph closure.
2. FIXED: Various fixes.