remove unreachable cases
test4a simplified