Clause simplification through dominator analysis. - Han, HyoJung; Jin, HoonSang; Somenzi, Fabio (2011)