Further processing options
available via local holding

Optimality conditions for special semidefinite bilevel optimizations problems