{"ast_node_type":"variable","tokens":[{"end":83,"kind":"keyword","start":0,"text":"let"}]}
            let value = self.liveness_constraints.pretty_print_live_points(region);
        for region in self.definitions.indices() {
            if value != "{}" {