Add remove unreachable branch for conditional expression