{
  "change_comparison": "tla-values-function-extensional-v1",
  "edges": [
    {
      "from": 1,
      "kind": "forward",
      "metadata": {
        "fields": {
          "location": {
            "fields": {
              "beginColumn": {
                "kind": "integer",
                "value": "5"
              },
              "beginLine": {
                "kind": "integer",
                "value": "9"
              },
              "endColumn": {
                "kind": "integer",
                "value": "39"
              },
              "endLine": {
                "kind": "integer",
                "value": "16"
              },
              "module": {
                "kind": "string",
                "value": "IdentityMC"
              }
            },
            "kind": "record"
          },
          "name": {
            "kind": "string",
            "value": "MoveItem"
          }
        },
        "kind": "record"
      },
      "name": "MoveItem",
      "to": 2
    }
  ],
  "evidence_id": "identity/implicit-follow",
  "input_manifest_sha256": "7b551331382b7a65fb4dcca7ffbef38cfa953807befbb2472bd9039fe2f73b7b",
  "kind": "normalized-trace",
  "provenance": "counterexample",
  "raw_receipt_sha256": "a2f41c2e091a927dafe5b402308f5e2332a35dcfcb851f5411b96aa64c30fa0b",
  "run_id": "implicit-follow",
  "schema_version": 1,
  "states": [
    {
      "changed": [],
      "ordinal": 1,
      "representation_changed": [],
      "values": {
        "state": {
          "fields": {
            "explicitLineage": {
              "items": [
                {
                  "kind": "integer",
                  "value": "1"
                }
              ],
              "kind": "tuple"
            },
            "live": {
              "entries": [
                {
                  "key": {
                    "kind": "integer",
                    "value": "1"
                  },
                  "value": {
                    "fields": {
                      "area": {
                        "kind": "string",
                        "value": "Display"
                      },
                      "marks": {
                        "items": [
                          {
                            "kind": "string",
                            "value": "UseBound"
                          }
                        ],
                        "kind": "set"
                      },
                      "physical": {
                        "kind": "string",
                        "value": "item-a"
                      },
                      "position": {
                        "kind": "integer",
                        "value": "1"
                      }
                    },
                    "kind": "record"
                  }
                },
                {
                  "key": {
                    "kind": "integer",
                    "value": "2"
                  },
                  "value": {
                    "fields": {
                      "area": {
                        "kind": "string",
                        "value": "Display"
                      },
                      "marks": {
                        "items": [],
                        "kind": "set"
                      },
                      "physical": {
                        "kind": "string",
                        "value": "item-b"
                      },
                      "position": {
                        "kind": "integer",
                        "value": "2"
                      }
                    },
                    "kind": "record"
                  }
                }
              ],
              "kind": "function"
            },
            "next": {
              "kind": "integer",
              "value": "3"
            },
            "past": {
              "entries": [],
              "kind": "function"
            },
            "reference": {
              "kind": "integer",
              "value": "1"
            },
            "successors": {
              "entries": [],
              "kind": "function"
            }
          },
          "kind": "record"
        }
      }
    },
    {
      "changed": [
        "state"
      ],
      "ordinal": 2,
      "representation_changed": [
        "state"
      ],
      "values": {
        "state": {
          "fields": {
            "explicitLineage": {
              "items": [
                {
                  "kind": "integer",
                  "value": "1"
                }
              ],
              "kind": "tuple"
            },
            "live": {
              "entries": [
                {
                  "key": {
                    "kind": "integer",
                    "value": "2"
                  },
                  "value": {
                    "fields": {
                      "area": {
                        "kind": "string",
                        "value": "Display"
                      },
                      "marks": {
                        "items": [],
                        "kind": "set"
                      },
                      "physical": {
                        "kind": "string",
                        "value": "item-b"
                      },
                      "position": {
                        "kind": "integer",
                        "value": "2"
                      }
                    },
                    "kind": "record"
                  }
                },
                {
                  "key": {
                    "kind": "integer",
                    "value": "3"
                  },
                  "value": {
                    "fields": {
                      "area": {
                        "kind": "string",
                        "value": "Private"
                      },
                      "marks": {
                        "items": [],
                        "kind": "set"
                      },
                      "physical": {
                        "kind": "string",
                        "value": "item-a"
                      },
                      "position": {
                        "kind": "integer",
                        "value": "1"
                      }
                    },
                    "kind": "record"
                  }
                }
              ],
              "kind": "function"
            },
            "next": {
              "kind": "integer",
              "value": "4"
            },
            "past": {
              "entries": [
                {
                  "key": {
                    "kind": "integer",
                    "value": "1"
                  },
                  "value": {
                    "fields": {
                      "area": {
                        "kind": "string",
                        "value": "Display"
                      },
                      "marks": {
                        "items": [
                          {
                            "kind": "string",
                            "value": "UseBound"
                          }
                        ],
                        "kind": "set"
                      },
                      "physical": {
                        "kind": "string",
                        "value": "item-a"
                      },
                      "position": {
                        "kind": "integer",
                        "value": "1"
                      }
                    },
                    "kind": "record"
                  }
                }
              ],
              "kind": "function"
            },
            "reference": {
              "kind": "integer",
              "value": "3"
            },
            "successors": {
              "entries": [
                {
                  "key": {
                    "kind": "integer",
                    "value": "1"
                  },
                  "value": {
                    "kind": "integer",
                    "value": "3"
                  }
                }
              ],
              "kind": "function"
            }
          },
          "kind": "record"
        }
      }
    }
  ]
}