Add config to disable prefix matching#51

nikstuckenbrock wants to merge 2 commits intotamarin-prover:maintamarin-prover/batch-tamarin:mainfrom

nikstuckenbrock:feature/disable-prefix-matchingnikstuckenbrock/batch-tamarin:feature/disable-prefix-matchingCopy head branch name to clipboard