Verify the computation of the PostDominatorTree

[Michael Eichberg]

It seems as if the post dominator tree sometimes misses to correctly identify dominator relations.

E.g.,

0 -> 1
1 -> 2
1 -> Exit(3)
2 -> Exit(3)

Here, the rev CFG should be:

3 -> 2
3 -> 1
2 -> 1
1 -> 0

and the PostDominator tree should be:

3->2
3->1
*2*
1-> 0
*1*

[Michael Eichberg]

fixed issue #61

→ <<cset 581b18f3ffb1>>

[Michael Eichberg]

Removing milestone: 0.9.0-M1 (automated comment)

[Michael Eichberg]

Removing version: 0.9.0 (automated comment)