HyoJung Han, HoonSang Jin, Fabio Somenzi: Clause simplification through dominator analysis. DATE 2011: 143-148