Markusian trees forests recognition

Here are some updates including raising "not implemented" for directed graphs and handling empty graphs.