ReduceCheckingSignatures and PReduce implemented