Avoid conversion check failure sysconf library model#7824

feliperodri merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/sysconftautschnig/cbmc:bugfixes/sysconfCopy head branch name to clipboard