Add failing test case that illustrates the need for α-reduction: same variable is both free and bound in the same expression
Add failing test case that illustrates the need for α-reduction: same variable is both free and bound in the same expression

antivanov/lambda.js