Add an isReachableFromEntry to MachineDominators, following the one