Deleted two useless features from Generic_constraints module: so-called reified arithmetic comparisons and xor.