Decomposes a set of variables into cliques and separators.