fixed immediateDominators and dominanceFrontiers algorithms. they were not correct and now, well, the rest of the algorithms using them are incorrect.