def __init__(self, message):
    RuntimeError.__init__(self, message)
    self.message = message
    self.unify_stack = []
def __init__(self, message):
    RuntimeError.__init__(self, message)
    self.message = message
    self.unify_stack = []