export Map of fixpoint Set measures to smtlib functions