Debugging maximal cliques