fix bug in ANF transformations for case-statements on (sum-of-) product
types

Previously we return the original alternative, when the RHS is a local
variable. This is incorrect when the local variable is bound in the
pattern on the LHS of the alternative.

We now correctly create a new let-binder, which references one of
the newly created patternSelectors.