Included dominance computation in the MAKE frameword.
Beginning of code for finding loops.