Solve problem

[jmkjmt]

lemma finder upgrade to solve catch reverse pattern.

[github-actions]

Benchmark Summaries

Benchmark: clam

Problem	Success	Error	Timeout	Total
clam	27	8	15	50
Total	27	8	15	50

Benchmark: dilemma-bench

Problem	Success	Error	Timeout	Total
lambda	5	1	4	10
natadd	7	0	0	7
sigma	0	5	0	5
filter	0	1	1	2
formula	0	1	0	1
max	0	2	0	2
natmul	6	2	2	10
uniq	0	10	2	12
Total	18	22	9	49

Benchmark: isaplanner

No results found.

Benchmark: optimization

No results found.