Include pseudonyms in testProver