def __getattr__(self, name): if self.tracing: return self._tracer(name) return ASPModule.__getattr__(self, name)