def Domain(self, *args, **kargs):
     return ai.Zonotope(*args, customRelu = ai.creluSmooth, **kargs)
 def Domain(self, *args, **kargs):
     return ai.Zonotope(*args, **kargs)