In the case of single thread, no need to check if a group of fact links have been extracted or not.
Finished reimplementing the Depth-first mining process for recognizing all super patterns during mining.
Changed back to default config. Wrong  commits before.