Create SVM_2

Uninterpreted calculi