ported DprProverTest and ProverTestTemplate. Fixed another bug in fill().