Ported duplicateSignature test; fixed bug in dfs prover