def __init__(self, decl): Imp.__init__(self, decl) self.counter = 0
def __init__(self, decl, propertyName): Imp.__init__(self, decl) self.propertyName = propertyName
def __init__(self, decl): Imp.__init__(self, decl) self.val = "Test-Failed"
def __init__(self, decl): Imp.__init__(self, decl) self._detindices_lists = () self._det_check_all = False self._idsym = Symbol(self.symbol.id)