dpll.js: Fix backtracking

It was using the formula with previous values already propagated. For now we
are saving the initial formula and copying it back when a backtrack occurs

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