add haddock comment of addXORClause function
add addXORClauseSoft function