Support Minisat source variants where l_False/l_True are not macros#8107

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/minisat-versions-l_Truetautschnig/cbmc:bugfixes/minisat-versions-l_TrueCopy head branch name to clipboard