Optimality and Constrained Derivatives in Two-Level Design Optimization