digraph scop_ok {
a -> b;
b -> c;
c -> d;
d -> f;
f -> b;
d -> e;
}