Removed old doctests, and fixed some consequent bugs. Incomplete changes to
treatment of representing arguments in ArgSets.
Added separate nodes with arg_ids
Better graph layout