Constify grapht::SCCs and cousins#1546

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/expose_tarjansmowton/cbmc:smowton/feature/expose_tarjanCopy head branch name to clipboard