Fix regression when case is used inside cond head