Use immediate dominators for multi-path deadlock detection

We introduce the concept of "block identifiers" to be able to compute
the immediate dominators of an unrolled control flow graph regardless
of whether scopes are used or not.