Optimize fuzzer by avoiding traversal of the whole configuration in term substitution#69

bbyalcinkaya wants to merge 12 commits intomasterruntimeverification/komet:masterfrom

fuzzer-optimizationruntimeverification/komet:fuzzer-optimizationCopy head branch name to clipboard