Validate functions

[ttuegel]

Reapply #2168.

It looks like we forgot \or patterns in function rules.

---

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!

[MirceaS]

@ttuegel Do you mean like this?

[MirceaS]

Tried rerunning Jenkins job: https://office.runtimeverification.com/jenkins/blue/organizations/jenkins/haskell-backend/detail/PR-2585/4/pipeline

[ttuegel]

This error will be fixed by #2598.

[github-actions]

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-sumTo10.sh	0.000033	-0.020098
test/regression-evm/test-add0.sh	0.000550	-0.000165
test/regression-evm/test-straight-line-no-invalid.sh	0.000790	-0.000199
test/regression-evm/test-pop1.sh	0.000744	-0.000157
test/regression-evm/test-straight-line.sh	0.000737	-0.000259
test/regression-evm/test-branching-invalid.sh	0.000572	-0.000300
test/regression-evm/test-branching-no-invalid.sh	0.000607	-0.000401
test/regression-evm/test-sum-to-n.sh	0.000115	0.008357
test/regression-wasm/test-loops.sh	0.000335	-0.000061
test/regression-wasm/test-wrc20.sh	0.000073	0.011767
test/regression-wasm/test-simple-arithmetic.sh	0.001037	-0.000535
test/regression-wasm/test-memory.sh	0.000655	0.000040
test/regression-wasm/test-locals.sh	0.001198	0.000768