Bugfix

1. Add Assertions
2. Fix Race condition on "X -> Z -> Y", where Y might be replaced with a new node
 whose Element is less than Z's.
3. Remove blank line from Draw's Output