feat(llzk): more local invariants checks (array), refactor common checks - #1389

feat(llzk): more local invariants checks (array), refactor common checks#1389

tobiasgrosser merged 2 commits into

opencompl:VERIFY-2026/llzk-07-struct-arrayopencompl/veir:VERIFY-2026/llzk-07-struct-arrayfrom

Maschmalow:VERIFY-2026/llzk-07-struct-arrayMaschmalow/veir:VERIFY-2026/llzk-07-struct-arrayCopy head branch name to clipboard