the csp dichotomy holds for digraphs with no sources and no sinks