Allow compilation of a <file>:<module> via --add-module.#990

mariaKt wants to merge 3 commits intomasterruntimeverification/mir-semantics:masterfrom

mk/lemmas-conditional-compilationruntimeverification/mir-semantics:mk/lemmas-conditional-compilationCopy head branch name to clipboard