using ptr_operand_t type for the vertices of dta_graph