apalache_counterexample.json

{
  "module": "counterexample",
  "declarations": [
    {
      "operator": "State1",
      "body": {
        "and": [
          
        ]
      },
      "params": [
        
      ]
    },
    {
      "operator": "State2",
      "body": {
        "and": [
          {
            "eq": "state",
            "arg": {
              "str": "working"
            }
          },
          {
            "eq": "lightBlockStatus",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "str": "StateVerified"
                  }
                }
              ]
            }
          },
          {
            "eq": "nprobes",
            "arg": 0
          },
          {
            "eq": "nextHeight",
            "arg": 4
          },
          {
            "eq": "prevChecked",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      },
                      {
                        "str": "n2"
                      },
                      {
                        "str": "n3"
                      },
                      {
                        "str": "n4"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "now",
            "arg": 1400
          },
          {
            "eq": "Faulty",
            "arg": {
              "enumSet": [
                
              ]
            }
          },
          {
            "eq": "blockchain",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 2,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 2
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 2
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 3,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 3
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 3
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 4
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 4
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 5,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 5
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 5
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "fetchedLightBlocks",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 1
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 1
                            }
                          ]
                        }
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "latestVerified",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      },
                      {
                        "str": "n2"
                      },
                      {
                        "str": "n3"
                      },
                      {
                        "str": "n4"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "prevVerdict",
            "arg": {
              "str": "OK"
            }
          },
          {
            "eq": "prevVerified",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      },
                      {
                        "str": "n2"
                      },
                      {
                        "str": "n3"
                      },
                      {
                        "str": "n4"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                }
              ]
            }
          }
        ]
      },
      "params": [
        
      ]
    },
    {
      "operator": "State3",
      "body": {
        "and": [
          {
            "eq": "state",
            "arg": {
              "str": "working"
            }
          },
          {
            "eq": "lightBlockStatus",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "str": "StateVerified"
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "str": "StateUnverified"
                  }
                }
              ]
            }
          },
          {
            "eq": "nprobes",
            "arg": 1
          },
          {
            "eq": "nextHeight",
            "arg": 2
          },
          {
            "eq": "prevChecked",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n2"
                      },
                      {
                        "str": "n3"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 4
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 4
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "now",
            "arg": 1400
          },
          {
            "eq": "Faulty",
            "arg": {
              "enumSet": [
                
              ]
            }
          },
          {
            "eq": "blockchain",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 2,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 2
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 2
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 3,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 3
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 3
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 4
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 4
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 5,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 5
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 5
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "fetchedLightBlocks",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 1
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 1
                            }
                          ]
                        }
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n3"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 4
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 4
                            }
                          ]
                        }
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "latestVerified",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      },
                      {
                        "str": "n2"
                      },
                      {
                        "str": "n3"
                      },
                      {
                        "str": "n4"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "prevVerdict",
            "arg": {
              "str": "CANNOT_VERIFY"
            }
          },
          {
            "eq": "prevVerified",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      },
                      {
                        "str": "n2"
                      },
                      {
                        "str": "n3"
                      },
                      {
                        "str": "n4"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                }
              ]
            }
          }
        ]
      },
      "params": [
        
      ]
    },
    {
      "operator": "State4",
      "body": {
        "and": [
          {
            "eq": "state",
            "arg": {
              "str": "working"
            }
          },
          {
            "eq": "lightBlockStatus",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "str": "StateVerified"
                  }
                },
                {
                  "colonGreater": 2,
                  "arg": {
                    "str": "StateVerified"
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "str": "StateUnverified"
                  }
                }
              ]
            }
          },
          {
            "eq": "nprobes",
            "arg": 2
          },
          {
            "eq": "nextHeight",
            "arg": 3
          },
          {
            "eq": "prevChecked",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 2
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 2
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "now",
            "arg": 1404
          },
          {
            "eq": "Faulty",
            "arg": {
              "enumSet": [
                
              ]
            }
          },
          {
            "eq": "blockchain",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 2,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 2
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 2
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 3,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 3
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 3
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 4
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 4
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 5,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 5
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 5
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "fetchedLightBlocks",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 1
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 1
                            }
                          ]
                        }
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 2,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 2
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 2
                            }
                          ]
                        }
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n3"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 4
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 4
                            }
                          ]
                        }
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "latestVerified",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 2
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 2
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "prevVerdict",
            "arg": {
              "str": "OK"
            }
          },
          {
            "eq": "prevVerified",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      },
                      {
                        "str": "n2"
                      },
                      {
                        "str": "n3"
                      },
                      {
                        "str": "n4"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                }
              ]
            }
          }
        ]
      },
      "params": [
        
      ]
    },
    {
      "operator": "State5",
      "body": {
        "and": [
          {
            "eq": "state",
            "arg": {
              "str": "finishedFailure"
            }
          },
          {
            "eq": "lightBlockStatus",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "str": "StateVerified"
                  }
                },
                {
                  "colonGreater": 2,
                  "arg": {
                    "str": "StateVerified"
                  }
                },
                {
                  "colonGreater": 3,
                  "arg": {
                    "str": "StateFailed"
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "str": "StateUnverified"
                  }
                }
              ]
            }
          },
          {
            "eq": "nprobes",
            "arg": 3
          },
          {
            "eq": "nextHeight",
            "arg": 3
          },
          {
            "eq": "prevChecked",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n2"
                      },
                      {
                        "str": "n4"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 3
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 3
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "now",
            "arg": 1404
          },
          {
            "eq": "Faulty",
            "arg": {
              "enumSet": [
                
              ]
            }
          },
          {
            "eq": "blockchain",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 1
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 1
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 2,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 2
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 2
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 3,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 3
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 3
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 4
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 4
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 5,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 5
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 5
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "fetchedLightBlocks",
            "arg": {
              "atat": [
                {
                  "colonGreater": 1,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 1
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 1
                            }
                          ]
                        }
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 2,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 2
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 2
                            }
                          ]
                        }
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 3,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 3
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 3
                            }
                          ]
                        }
                      }
                    ]
                  }
                },
                {
                  "colonGreater": 4,
                  "arg": {
                    "record": [
                      {
                        "key": {
                          "str": "Commits"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "header"
                        },
                        "value": {
                          "record": [
                            {
                              "key": {
                                "str": "NextVS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n3"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "VS"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n2"
                                  },
                                  {
                                    "str": "n3"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "height"
                              },
                              "value": 4
                            },
                            {
                              "key": {
                                "str": "lastCommit"
                              },
                              "value": {
                                "enumSet": [
                                  {
                                    "str": "n1"
                                  },
                                  {
                                    "str": "n4"
                                  }
                                ]
                              }
                            },
                            {
                              "key": {
                                "str": "time"
                              },
                              "value": 4
                            }
                          ]
                        }
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "latestVerified",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 2
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 2
                      }
                    ]
                  }
                }
              ]
            }
          },
          {
            "eq": "prevVerdict",
            "arg": {
              "str": "FAILED_VERIFICATION"
            }
          },
          {
            "eq": "prevVerified",
            "arg": {
              "record": [
                {
                  "key": {
                    "str": "Commits"
                  },
                  "value": {
                    "enumSet": [
                      {
                        "str": "n1"
                      }
                    ]
                  }
                },
                {
                  "key": {
                    "str": "header"
                  },
                  "value": {
                    "record": [
                      {
                        "key": {
                          "str": "NextVS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n4"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "VS"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "height"
                        },
                        "value": 2
                      },
                      {
                        "key": {
                          "str": "lastCommit"
                        },
                        "value": {
                          "enumSet": [
                            {
                              "str": "n1"
                            },
                            {
                              "str": "n2"
                            },
                            {
                              "str": "n3"
                            }
                          ]
                        }
                      },
                      {
                        "key": {
                          "str": "time"
                        },
                        "value": 2
                      }
                    ]
                  }
                }
              ]
            }
          }
        ]
      },
      "params": [
        
      ]
    },
    {
      "operator": "InvariantViolation",
      "body": {
        "and": [
          {
            "eq": "state",
            "arg": {
              "str": "finishedFailure"
            }
          },
          {
            "eq": true,
            "arg": 4
          }
        ]
      },
      "params": [
        
      ]
    }
  ]
}