Implemented step 1 - step 4 of Post-Dominator algorithm