Constraint Learning to Define Trust Regions in Optimization over Pre-Trained Predictive Models | Synapse