Arguements are now top-level variables. Enabled top-level variable
merging and empty node elimination. Add support for printing DFG as a .dot file. Minor bug fixes.