Language.SMTLib2.Internals.Optimize