fix a little bug in implementing xor clauses
improve the todo.d script a bit