(may be useful for other diagrams too)
Am I able to draw an arrow that would be explicitly indicated as an absent one?
Like a red-crossed in the middle arrow or something?
I would not want to use annotations for that, preferring a change only in the arrow visualization itself.