Make all methods of dfcc_utilst static#7683

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/use-of-dfcc_utilsttautschnig/cbmc:cleanup/use-of-dfcc_utilstCopy head branch name to clipboard