dpll.js: Remove license info and unnecessary update_graph call