[SimplifyCFG] Constant fold a branch implied by it's incoming edge