Index off by 1
Detect integer variables in inner program correctly
Allow constant inner objective
SOS2 not allowed in inner problem in bilevel
SOS2 not allowed in KKT
Fixes #193