Present the DPLL search tree in a graph using d3 javascript library