Add graph template class from CBMC