Various small memory modeling improvements

[sifislag]

For the dataset of 1600 ir contracts in viair-june23:

For has_output 1 not detected by config master: {'beb8211f1c7ebabe5078f525b25b9eac'}
For has_output 0 not detected by config branch: set()

ANALYTIC: client_time
master (common): 1465.3665297031403 (+3.72%)
branch (common): 1412.8065841197968

ANALYTIC: Analytics_NonModeledMSTORE
master (common): 153563 (+15.72%)
branch (common): 132702

ANALYTIC: Analytics_NonModeledMLOAD
master (common): 102068 (+4.478%)
branch (common): 97693

For the dataset of 2000 large solc0.8 contracts in solc08-over10k:

ANALYTIC: client_time
master (common): 689.9880311489105
branch (common): 692.4097990989685

ANALYTIC: Analytics_NonModeledMSTORE
master (common): 52084 (+10.36%)
branch (common): 47193

ANALYTIC: Analytics_NonModeledMLOAD
master (common): 30825 (+10.01%)
branch (common): 28021

[github-actions[bot]]

Test Results (Souffle 2.4)

43 tests  ±0   43 :heavy_check_mark: ±0   19m 16s :stopwatch: - 1m 51s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 94411cd3. ± Comparison against base commit f7199275.

[github-actions[bot]]

Test Results (Souffle 2.3)

43 tests  ±0   43 :heavy_check_mark: ±0   20m 48s :stopwatch: + 2m 20s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 94411cd3. ± Comparison against base commit f7199275.