Further processing options
available via local holding

On the Karush-Kuhn-Tucker reformulation of the bilevel optimization problem