Found a bug in LambdaCalculator