@typecheck_method(s=IR)
def copy(self, s):
    new_instance = self.__class__
    return new_instance(s)
@typecheck_method(s=IR)
def copy(self, s):
    new_instance = self.__class__
    return new_instance(s)