Minor maximum cliques speedup (#513).