dpll.js: Fix missing unsat nodes

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
{dpll,graph.js}: Fix graph redraw showing spare nodes/edges