SMS dit: Digraph Decompositions and Monotonocity in Digraph Searching