Removes all traces of DLEQs from a list of proofs.
The list of proofs that dleq should be stripped from.
Removes all traces of DLEQs from a list of proofs.