Remove virtual functions: simplify and fix no-fallback-function mode#1940

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/cleanup/remove-virtual-functionssmowton/cbmc:smowton/cleanup/remove-virtual-functionsCopy head branch name to clipboard