Support for SOS problems in optimizer