pub fn fp_to_semantic_commit(fp: &LastFinalizationProof) -> SemanticCommit