JBMC: run convert-nondet on a per-function basis#1738

smowton wants to merge 4 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/convert_nondet_per_functionsmowton/cbmc:smowton/feature/convert_nondet_per_functionCopy head branch name to clipboard