graphUtil: add verifyGraph