Use one LocalVocab
for each block during lazy evaluation#1567
Merged
joka921 merged 10 commits intoad-freiburg:master from RobinTF:local-vocab-generatorOct 22, 2024
+526-455
LocalVocab
for each block during lazy evaluation#1567