Property tests: implement separate Predicate generator

[ana-pantilie]

Fixes #2804

---

Review checklist

The author performs the actions on the checklist. The reviewer evaluates the work and checks the boxes as they are completed.

• Summary. Write a summary of the changes. Explain what you did to fix the issue, and why you did it. Present the changes in a logical order. Instead of writing a summary in the pull request, you may push a clean Git history.
• Documentation. Write documentation for new functions. Update documentation for functions that changed, or complete documentation where it is missing.
• Tests. Write unit tests for every change. Write the unit tests that were missing before the changes. Include any examples from the reported issue as integration tests.
• Clean up. The changes are already clean. Clean up anything near the changes that you noticed while working. This does not mean only spatially near the changes, but logically near: any code that interacts with the changes!

[github-actions]

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-pop1.sh	0.000000	-0.000000
test/regression-evm/test-straight-line.sh	0.000000	-0.004761
test/regression-evm/test-straight-line-no-invalid.sh	0.000001	-0.005080
test/regression-evm/test-branching-invalid.sh	0	0
test/regression-evm/test-sum-to-n.sh	-0.000001	-0.005291
test/regression-evm/test-branching-no-invalid.sh	-0.000002	0.005711
test/regression-evm/test-add0.sh	-0.000000	-0.000003
test/regression-evm/test-sumTo10.sh	0.000000	0.000060
test/regression-wasm/test-memory.sh	-0.000007	0
test/regression-wasm/test-locals.sh	0	0
test/regression-wasm/test-wrc20.sh	-0.000015	0.017432
test/regression-wasm/test-loops.sh	0.000010	0.000058
test/regression-wasm/test-simple-arithmetic.sh	0.000066	0.000027

[github-actions]

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-pop1.sh	0.000000	-0.005237
test/regression-evm/test-straight-line.sh	-0.000000	-0.000000
test/regression-evm/test-straight-line-no-invalid.sh	0.000000	-0.000001
test/regression-evm/test-branching-invalid.sh	-0.000000	-0.003959
test/regression-evm/test-sum-to-n.sh	-0.000008	0.005291
test/regression-evm/test-branching-no-invalid.sh	-0.000000	0.005687
test/regression-evm/test-add0.sh	-0.000000	-0.000000
test/regression-evm/test-sumTo10.sh	0	0.000150
test/regression-wasm/test-memory.sh	-0.000001	-0.000002
test/regression-wasm/test-locals.sh	0.000001	0.000001
test/regression-wasm/test-wrc20.sh	-0.000017	0.016556
test/regression-wasm/test-loops.sh	0.000002	-0.000000
test/regression-wasm/test-simple-arithmetic.sh	-0.000077	0.000014

[github-actions]

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-pop1.sh	-0.000000	-0.000000
test/regression-evm/test-straight-line.sh	0.000000	-0.004760
test/regression-evm/test-straight-line-no-invalid.sh	-0.000000	-0.009065
test/regression-evm/test-branching-invalid.sh	0.000000	0.003975
test/regression-evm/test-sum-to-n.sh	0.000002	-0.005291
test/regression-evm/test-branching-no-invalid.sh	-0.000002	0.005711
test/regression-evm/test-add0.sh	0	0.000001
test/regression-evm/test-sumTo10.sh	0.000000	0.000371
test/regression-wasm/test-memory.sh	0.000008	0.000000
test/regression-wasm/test-locals.sh	0	0.000001
test/regression-wasm/test-wrc20.sh	-0.000010	-0.005502
test/regression-wasm/test-loops.sh	0.000009	0
test/regression-wasm/test-simple-arithmetic.sh	-0.000011	-0.000256

[github-actions]

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-pop1.sh	0.000000	0.005264
test/regression-evm/test-straight-line.sh	-0.000000	0.000000
test/regression-evm/test-straight-line-no-invalid.sh	-0.000000	-0.000000
test/regression-evm/test-branching-invalid.sh	0	0.000000
test/regression-evm/test-sum-to-n.sh	0.000002	-0.005291
test/regression-evm/test-branching-no-invalid.sh	0	0
test/regression-evm/test-add0.sh	-0.000000	0.000001
test/regression-evm/test-sumTo10.sh	-0.000001	-0.005291
test/regression-wasm/test-memory.sh	-0.000022	0
test/regression-wasm/test-locals.sh	0	0.000003
test/regression-wasm/test-wrc20.sh	-0.000016	0.018060
test/regression-wasm/test-loops.sh	-0.000021	-0.000001
test/regression-wasm/test-simple-arithmetic.sh	-0.000035	0.000035

[github-actions]

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-storagevar03.sh	0.000005	0.005257
test/regression-evm/test-sha3_bigSize.sh	0.000000	-0.006088
test/regression-evm/test-lemmas.sh	-0.000004	0.022630
test/regression-evm/test-pop1.sh	0.000000	0
test/regression-evm/test-straight-line.sh	0.000000	-0.000000
test/regression-evm/test-straight-line-no-invalid.sh	0.000000	-0.000001
test/regression-evm/test-and0.sh	-0.000000	-0.005128
test/regression-evm/test-branching-invalid.sh	0.000000	0
test/regression-evm/test-sum-to-n.sh	-0.000005	0
test/regression-evm/test-branching-no-invalid.sh	0.000000	-0.005255
test/regression-evm/test-mul0.sh	0.000000	-0.000000
test/regression-evm/test-add0.sh	0	-0.000002
test/regression-evm/test-totalSupply.sh	-0.000001	0.007248
test/regression-evm/test-sumTo10.sh	-0.000000	0.000295
test/regression-wasm/test-memory.sh	0.000014	-0.000000
test/regression-wasm/test-locals.sh	0	0.000000
test/regression-wasm/test-wrc20.sh	0.000012	-0.001508
test/regression-wasm/test-loops.sh	0.000070	0
test/regression-wasm/test-simple-arithmetic.sh	-0.000001	-0.000000