Fixed the output type in runProof