renamed semidefVar as SDPVar