Findmux2 cleaned up. Added a dot file for subaig graphs