fixed bug in get_cliques_with_vars