condbr is noreturn so having the other way around caused
subsequent cases to be eliminated as dead