count literals in minisat backend