Bugfix/languaget gets message handler#31

mgudemann wants to merge 2 commits intomasterdiffblue/hw-cbmc:masterfrom

bugfix/languaget_gets_message_handlerdiffblue/hw-cbmc:bugfix/languaget_gets_message_handlerCopy head branch name to clipboard