{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"self.undo_log.push(AddConstraint(index));"}]}
        self.undo_log.push(AddConstraint(index));
        self.storage.data.constraints.push((constraint, origin));
    }