fix(kompile): map linked NormalSym functions to monoItemFn(noBody)#953

automergerpr-permission-manager[bot] merged 15 commits into

masterruntimeverification/mir-semantics:masterfrom

jh/fix-normalsym-mappingruntimeverification/mir-semantics:jh/fix-normalsym-mappingCopy head branch name to clipboard