Some changes in ProofGenerator tests