Code for dominans relation, and more code for basic blocks.