Make seq-of-cast rule generate a case

Authored by simonpj.

Description

Make seq-of-cast rule generate a case

Previously it generated another call to seq, which triggered
a lint failure (Trac Trac #10659)

Details