Keep the unprocessed LF spec signature in Prover.lf_sign