Reimplement remove-static-init-loops to avoid need to inspect GOTO program#1815

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/replace-clinit-unwindersmowton/cbmc:smowton/feature/replace-clinit-unwinderCopy head branch name to clipboard