Regress after unmatched case expressions