The switch can have exactly 1 default edge, so we make sure other edges are not marked. \param pos is the index of the \e out edge that should be the default
source not stored for this graph (policy: none)
no test coverage detected