Use ADCE instead of just DCE. ADCE will better clean up after jump threading,