remove unreached condition judge