Language.Fixpoint.Smt.Serialize