terminates, but finds not all maximal cliques