dpll.js: Improve formula showed on graph nodes

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>