Make AddVar return the variable
Implement SOCP transformations