class SmtModel:
    model = None
    
    def __init__(self,modelStr):
        self.model = modelStr
        
    def get_model(self):
        return self.model

    def __str__(self):
        return self.model
@@ -66,16 +66,77 @@
 delStr):
+ #TODO: why modelStr called modelStr?!?! it is actually list!
 %0D%0A      
@@ -252,30 +252,34 @@
 f):%0D%0A        return 
+str(
 self.model
@@ -270,16 +270,17 @@
 n str(self.model
+)

fix due to change of interface, guys rename modelStr please to smth meaningfull