Implemented simplification of general parity-constraints.