Handling of S->A and T->B arcs when adding or removing vertices to TG