introduced algorithms (minimum deficiency variable elimination, clique
maximal spanning tree trick, et al) for compiling DAGs into clique trees