dpll.js: Fix hasfinished()

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