Implement the fix for the python version.

The idea is that if while walking we run into a node or its dominator
then we obviously supersede that node.
The other bit to be aware of, is that we shouldn't negate a node when
we walk to its own dominator.