An implementation of gSpan over DHImp (Directed binary graphs with mono-labelled vertices)