Further functions for checking the sign of literals.
Simplification now produces at most one negative literal.
Implemented UC-translation for 2 xor-clauses.