rename Kb::vertices to Kb::get_vertices