Fixed mis-generation of bindings for dependent function contracts: casting x:f1->f2 to y:t1->t2, we had let x = <f1<=t1>x instead of let x = <f1<=t1>y.
Fixed mis-generation of bindings for dependent function contracts: casting x:f1->f2 to y:t1->t2, we had let x = <f1<=t1>x instead of let x = <f1<=t1>y.

L2G/boomerang-lang