Markusian trees forests recognition

Hmmm...forgot to fix the import statements.