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

    def __str__(self):
        return self.model
class SmtModel:
    model = None
    
    def __init__(self,modelStr): #TODO: why modelStr called modelStr?!?! it is actually list!
        self.model = modelStr
        
    def get_model(self):
        return self.model

    def __str__(self):
        return str(self.model)
fix due to change of interface, guys rename modelStr please to smth meaningfull