verifenc now saves its keys and proofs in files that include the number of verifencs in their names

verifenc.cpp

@@ -369,13 +369,13 @@ int main(int argc, char **argv)
 //  cout << "Auxiliary (private) input: " << pb.auxiliary_input() << endl;
   cout << "Verification status: " << verified << endl;
 
-  ofstream pkfile(string("pk_verifenc_") + argv[1]);
+  ofstream pkfile(string("pk_verifenc_") + argv[1] + "_" + to_string(numverifencs));
   pkfile << keypair.pk;
   pkfile.close();
-  ofstream vkfile(string("vk_verifenc_") + argv[1]);
+  ofstream vkfile(string("vk_verifenc_") + argv[1] + "_" + to_string(numverifencs));
   vkfile << keypair.vk;
   vkfile.close();
-  ofstream pffile(string("proof_verifenc_") + argv[1]);
+  ofstream pffile(string("proof_verifenc_") + argv[1] + "_" + to_string(numverifencs));
   pffile << proof;
   pffile.close();