Escape kore when used as symbol name#1217

jberthold merged 4 commits into

developruntimeverification/llvm-backend:developfrom

HOTFIX-escape-symbol-namesruntimeverification/llvm-backend:HOTFIX-escape-symbol-namesCopy head branch name to clipboard