Interface AddEdgeStepContract<S>