Fix nasty dominators bug; ignore dead back edges