Fixes #216
Support parameterized SOS in optimizer
Test sos in optimizer