Implemented AbstractPreimageProofGenerator