Rename the connected components certificate instance in LoadGraph#39

katjabercic wants to merge 1 commit intomainkatjabercic/Lean-HoG:mainfrom

ccc-renamekatjabercic/Lean-HoG:ccc-renameCopy head branch name to clipboard