Added support for noreturn functions from library to CheckOther::checkUnreachableCode()