*** Data.SBV: Problem needs optimization of metric in the scope of universally quantified variable(s):
***
***          goal [Depends on: x]
***
*** Optimization is only meaningful with existentially quantified metrics.