BugFix: trackAssignment negated Tseitin-literals twice