Fix lambda theory test

[gkronber]

PR for #235.
Fixes semantic analysis code for lambda theory test case and a bug which caused missing updates of parent eclasses after the semantic value of an eclass was changed.

[olynch]

@0x0f0f0f for what it's worth, I read through this bug fix and it seems correct to me, at least with respect to my understanding as captured in this comment:

Metatheory.jl/src/EGraphs/egraph.jl

Lines 77 to 85 in 107da67

	"""
	merge_analysis_data!(a::EClass{D}, b::EClass{D})::Tuple{Bool,Bool,Union{D,Nothing}} where {D}
	Returns a tuple of: `(did_update_a, did_update_b, newdata)` where:
	- `did_update_a` is a boolean indicating whether `a`'s analysis class was updated
	- `did_update_b` is a boolean indicating whether `b`'s analysis class was updated
	- `newdata` is the merged analysis data
	"""

.

In retrospect, if I had paid more attention while writing that comment, I could have caught this...

[gkronber]

Let me add a few more test assertions to check the free variable analysis before merging this.

[0x0f0f0f]

Nice, can you trigger CI here as well pleae?

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

Attention: Patch coverage is 87.06597% with 149 lines in your changes missing coverage. Please review.

Please upload report for BASE (ale/3.0@c43b0fb). Learn more about missing BASE report.

Files with missing lines	Patch %	Lines
src/EGraphs/Schedulers.jl	43.47%	26 Missing ⚠️
src/utils.jl	7.69%	24 Missing ⚠️
src/EGraphs/egraph.jl	87.29%	23 Missing ⚠️
src/Syntax.jl	88.66%	17 Missing ⚠️
src/Patterns.jl	74.46%	12 Missing ⚠️
src/EGraphs/saturation.jl	95.20%	7 Missing ⚠️
src/Rules.jl	83.33%	7 Missing ⚠️
ext/Plotting.jl	0.00%	6 Missing ⚠️
src/Rewriters.jl	53.84%	6 Missing ⚠️
src/ematch_compiler.jl	95.83%	6 Missing ⚠️
... and 6 more

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##             ale/3.0     #236   +/-   ##
==========================================
  Coverage           ?   80.78%           
==========================================
  Files              ?       19           
  Lines              ?     1504           
  Branches           ?        0           
==========================================
  Hits               ?     1215           
  Misses             ?      289           
  Partials           ?        0           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[0x0f0f0f]

@gkronber ok to merge?