The functions `grapht::make_chordal` and `grapht::connected_subgraphs` don't currently compile. The fix to make them compile is here: https://github.com/diffblue/cbmc/pull/2389 But the fix still needs unit tests to be merged