Incorrect arg count in a functional induction match arm, when WF def uses local variables.

Incorrect arg count in a functional induction match arm, when WF def uses local variables. #53