testing acyclic in directed graph
Finding a Shared Spliced Motif