Lambda example to squish LambdaForm CNFEs