Add options to assume Injectivity On Inhale and to disable it#442

jcp19 merged 3 commits intomasterviperproject/gobra:masterfrom

add-toggle-injectivity-checksviperproject/gobra:add-toggle-injectivity-checksCopy head branch name to clipboard