Adjust proof tooling to support CBMC v6#128

AniruddhaKanhere merged 2 commits intoaws:mainaws/Device-Shadow-for-AWS-IoT-embedded-sdk:mainfrom

tautschnig:cbmc-v6tautschnig/Device-Shadow-for-AWS-IoT-embedded-sdk:cbmc-v6Copy head branch name to clipboard