Mining top-k frequent closed patterns without minimum support | Synapse