Example: J->K ^ | A->B->C->D->E ^ | | v H<-G