Add empty() to grapht as it implements size()#1040

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:fix-1032tautschnig/cbmc:fix-1032Copy head branch name to clipboard