update testOcpExport to illustrate KKT/objective behavior