elimTree -- elimination tree of a chordal graph

i1 : G = graph(toList(0..9),{
         {0,{6,7}},{1,{4,9}},{2,{3,5}},{3,{7,8}},
         {4,{5,8}},{5,{8}},{6,{8,9}},{7,{8}},{8,{9}} });

i2 : Gc = chordalGraph G

o2 = ChordalGraph{0 => {6, 7}    }
                  1 => {4, 9}
                  2 => {3, 5}
                  3 => {5, 7, 8}
                  4 => {5, 8, 9}
                  5 => {7, 8, 9}
                  6 => {7, 8, 9}
                  7 => {8, 9}
                  8 => {9}
                  9 => {}

o2 : ChordalGraph

i3 : elimTree Gc

o3 = ElimTree{0 => 6   }
              1 => 4
              2 => 3
              3 => 5
              4 => 5
              5 => 7
              6 => 7
              7 => 8
              8 => 9
              9 => null

o3 : ElimTree