Added AbstractStandardPreimageProofGenerator