Storage modeling

[sifislag]

Various small storage modeling improvements:

• handling of new viaIR struct and array delete patterns (https://docs.soliditylang.org/en/latest/ir-breaking-changes.html#semantic-only-changes)
• handling of packed variables that only have constant values written to them and are never read
• post-process constants written to storage variables to identify cases in which a single constant covers multiple variables (optimized initializer pattern)

[github-actions[bot]]

Test Results (Souffle 2.3)

57 tests  ±0   57 :white_check_mark: ±0   41m 19s :stopwatch: + 1m 35s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit efcd56d2. ± Comparison against base commit 5439a267.

[github-actions[bot]]

Test Results (Souffle 2.4)

57 tests  ±0   57 :white_check_mark: ±0   42m 0s :stopwatch: -32s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit efcd56d2. ± Comparison against base commit 5439a267.