C library: Fix type inconsistencies in contracts code#7371

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/c-lib-contractstautschnig/cbmc:bugfixes/c-lib-contractsCopy head branch name to clipboard