Unit test for lambda theory fails check_analysis test

[gkronber]

This issue refers to the ale/3.0 branch.

After activating the check_analysis() assertion in rebuild!(g::EGraph) the unit tests for lambda_theory fail, because the join-semilattice invariant is not fullfilled.
If I'm not mistaken, the code of the semantic analysis methods (make and join) in lambda_theory.jl is not correct.

Metatheory.jl/test/tutorials/lambda_theory.jl

Line 107 in 8ad3c31

function EGraphs.make(g::EGraph{ExprType,LambdaAnalysis}, n::VecExpr) where {ExprType}

.