Increased completeness in struct modeling

[sifislag]

A couple of improvements in struct inferrence for cases:

• of structs copied from storage to memory
• of often "dead" structs in optimized viaIR code (see example)

results

0.8:

ANALYTIC: Analytics_NonModeledMSTORE
may24-08-master (common): 42607 (+4.868%)
may24-08-mem (common): 40629

ANALYTIC: Analytics_NonModeledMLOAD
may24-08-master (common): 26047 (+1.786%)
may24-08-mem (common): 25590

ir:

ANALYTIC: Analytics_NonModeledMSTORE
may24-ir-master (common): 142929 (+6.025%)
may24-ir-mem (common): 134807

ANALYTIC: Analytics_NonModeledMLOAD
may24-ir-master (common): 98893 (+0.3358%)
may24-ir-mem (common): 98562

[github-actions[bot]]

Test Results (Souffle 2.4)

55 tests  ±0   55 :white_check_mark: ±0   35m 2s :stopwatch: - 1m 45s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit ea41e13a. ± Comparison against base commit 3743eba5.

[github-actions[bot]]

Test Results (Souffle 2.3)

55 tests  ±0   55 :white_check_mark: ±0   37m 18s :stopwatch: + 4m 25s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit ea41e13a. ± Comparison against base commit 3743eba5.