Function smt_spec

pub fn smt_spec() -> ProofSpec