Handle forgotten case

When only one single case is written and it is not "pure": some inner
arguments in the pattern match case are bound to constants or there are
guards associated with the case...
Some sequence was empty while it was assumed to be non-empty