processFlows.json

[
  {
    "name": "demand_create",
    "program": [
      {
        "Restriction": {
          "FixedNumberOfInputs": {
            "num_inputs": 0
          }
        }
      },
      {
        "Restriction": {
          "FixedNumberOfOutputs": {
            "num_outputs": 1
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "And"
      }
    ],
    "version": 1
  },
  {
    "name": "match2_propose",
    "program": [
      {
        "Restriction": {
          "FixedNumberOfInputs": {
            "num_inputs": 2
          }
        }
      },
      {
        "Restriction": {
          "FixedNumberOfOutputs": {
            "num_outputs": 3
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 1,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 1,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "owner",
            "output_index": 0,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "subtype",
            "output_index": 0,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "state",
            "output_index": 0,
            "output_metadata_key": "state"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 1,
            "input_role_key": "owner",
            "output_index": 1,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "subtype",
            "output_index": 1,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "state",
            "output_index": 1,
            "output_metadata_key": "state"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 2,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "owner",
            "output_index": 2,
            "output_role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 1,
            "input_role_key": "owner",
            "output_index": 2,
            "output_role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Op": "And"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      }
    ],
    "version": 1
  },
  {
    "name": "match2_accept",
    "program": [
      {
        "Restriction": {
          "FixedNumberOfInputs": {
            "num_inputs": 1
          }
        }
      },
      {
        "Restriction": {
          "FixedNumberOfOutputs": {
            "num_outputs": 1
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "optimiser",
            "output_index": 0,
            "output_role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "member_a",
            "output_index": 0,
            "output_role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "demand_a",
            "output_index": 0,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "member_b",
            "output_index": 0,
            "output_role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "demand_b",
            "output_index": 0,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "replaces",
            "output_index": 0,
            "output_metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "ImplicationR"
      },
      {
        "Op": "And"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 0,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 0,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      }
    ],
    "version": 1
  },
  {
    "name": "match2_acceptFinal",
    "program": [
      {
        "Restriction": {
          "FixedNumberOfInputs": {
            "num_inputs": 3
          }
        }
      },
      {
        "Restriction": {
          "FixedNumberOfOutputs": {
            "num_outputs": 3
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 1,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 1,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "owner",
            "output_index": 0,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "subtype",
            "output_index": 0,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 1,
            "input_role_key": "owner",
            "output_index": 1,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "subtype",
            "output_index": 1,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 2,
            "output_index": 2,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "optimiser",
            "output_index": 2,
            "output_role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "member_a",
            "output_index": 2,
            "output_role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "demand_a",
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "member_b",
            "output_index": 2,
            "output_role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "demand_b",
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "replaces",
            "output_index": 2,
            "output_metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "ImplicationR"
      },
      {
        "Op": "And"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 2,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 2,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      }
    ],
    "version": 1
  },
  {
    "name": "demand_comment",
    "program": [
      {
        "Restriction": {
          "FixedNumberOfInputs": {
            "num_inputs": 1
          }
        }
      },
      {
        "Restriction": {
          "FixedNumberOfOutputs": {
            "num_outputs": 1
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "owner",
            "output_index": 0,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "subtype",
            "output_index": 0,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "state",
            "output_index": 0,
            "output_metadata_key": "state"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "And"
      }
    ],
    "version": 1
  },
  {
    "name": "match2_reject",
    "program": [
      {
        "Restriction": {
          "FixedNumberOfInputs": {
            "num_inputs": 1
          }
        }
      },
      {
        "Restriction": {
          "FixedNumberOfOutputs": {
            "num_outputs": 0
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "SenderHasInputRole": {
            "index": 0,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Restriction": {
          "SenderHasInputRole": {
            "index": 0,
            "role_key": "member_a"
          }
        }
      },
      {
        "Restriction": {
          "SenderHasInputRole": {
            "index": 0,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      }
    ],
    "version": 1
  },
  {
    "name": "match2_cancel",
    "program": [
      {
        "Restriction": {
          "FixedNumberOfInputs": {
            "num_inputs": 3
          }
        }
      },
      {
        "Restriction": {
          "FixedNumberOfOutputs": {
            "num_outputs": 3
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 1,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 1,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "owner",
            "output_index": 0,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "subtype",
            "output_index": 0,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 1,
            "input_role_key": "owner",
            "output_index": 1,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "subtype",
            "output_index": 1,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 2,
            "output_index": 2,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "optimiser",
            "output_index": 2,
            "output_role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "member_a",
            "output_index": 2,
            "output_role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "demand_a",
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "member_b",
            "output_index": 2,
            "output_role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "demand_b",
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "replaces",
            "output_index": 2,
            "output_metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "ImplicationR"
      },
      {
        "Op": "And"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 2,
            "role_key": "member_a"
          }
        }
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 2,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      }
    ],
    "version": 1
  },
  {
    "name": "rematch2_propose",
    "program": [
      {
        "Restriction": {
          "FixedNumberOfInputs": {
            "num_inputs": 3
          }
        }
      },
      {
        "Restriction": {
          "FixedNumberOfOutputs": {
            "num_outputs": 4
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 1,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 1,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 1,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 1,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 1,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 1,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 3,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 3,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 3,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 3,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 3,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 3,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 3,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 3,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 3,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "owner",
            "output_index": 0,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "subtype",
            "output_index": 0,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "state",
            "output_index": 0,
            "output_metadata_key": "state"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 2,
            "output_index": 2,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "owner",
            "output_index": 2,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "subtype",
            "output_index": 2,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "state",
            "output_index": 2,
            "output_metadata_key": "state"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 1,
            "input_role_key": "optimiser",
            "output_index": 1,
            "output_role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 1,
            "input_role_key": "member_a",
            "output_index": 1,
            "output_role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "demand_a",
            "output_index": 1,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 1,
            "input_role_key": "member_b",
            "output_index": 1,
            "output_role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "demand_b",
            "output_index": 1,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 1,
            "role_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 1,
            "role_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "replaces",
            "output_index": 1,
            "output_metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "ImplicationR"
      },
      {
        "Op": "And"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "state",
            "output_index": 1,
            "output_metadata_key": "state"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 1,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 1,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 3,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 3,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 3,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "owner",
            "output_index": 3,
            "output_role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "@original_id",
            "output_index": 3,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 2,
            "output_index": 3,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "owner",
            "output_index": 3,
            "output_role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 3,
            "output_metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 3,
            "output_metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      }
    ],
    "version": 1
  },
  {
    "name": "rematch2_acceptFinal",
    "program": [
      {
        "Restriction": {
          "FixedNumberOfInputs": {
            "num_inputs": 5
          }
        }
      },
      {
        "Restriction": {
          "FixedNumberOfOutputs": {
            "num_outputs": 5
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 3,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 3,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 4,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 4,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Demand"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 4,
            "metadata_key": "@type",
            "metadata_value": {
              "Literal": "Match2"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 4,
            "metadata_key": "@version",
            "metadata_value": {
              "Literal": "1"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 1,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 2,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 3,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 3,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 3,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 3,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 3,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 3,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 3,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 4,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 4,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 4,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 4,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 4,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 4,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 4,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValueType": {
            "index": 4,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 4,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 0,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 0,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 1,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 1,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 2,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 3,
            "role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 3,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 3,
            "metadata_key": "parameters",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 3,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 3,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 4,
            "role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 4,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 4,
            "metadata_key": "demand_a",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 4,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 4,
            "metadata_key": "demand_b",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "proposed"
            }
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 4,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 4,
            "metadata_key": "replaces",
            "metadata_value_type": "TokenId"
          }
        }
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValueType": {
            "index": 4,
            "metadata_key": "comment",
            "metadata_value_type": "File"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 4,
            "metadata_key": "comment"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 0,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 0,
            "input_role_key": "owner",
            "output_index": 0,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "subtype",
            "output_index": 0,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 0,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "state",
            "output_index": 0,
            "output_metadata_key": "state"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_a"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 0,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 1,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 1,
            "input_role_key": "owner",
            "output_index": 1,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "subtype",
            "output_index": 1,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 1,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 1,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 2,
            "output_index": 2,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "optimiser",
            "output_index": 2,
            "output_role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "member_a",
            "output_index": 2,
            "output_role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "demand_a",
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 2,
            "input_role_key": "member_b",
            "output_index": 2,
            "output_role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "demand_b",
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 2,
            "role_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 2,
            "role_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 2,
            "input_metadata_key": "replaces",
            "output_index": 2,
            "output_metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 2,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "ImplicationR"
      },
      {
        "Op": "And"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 2,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "cancelled"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 2,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 1,
            "input_metadata_key": "@original_id",
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 1,
            "metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 1,
            "output_index": 2,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 3,
            "input_metadata_key": "@original_id",
            "output_index": 3,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 3,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 3,
            "output_index": 3,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 3,
            "input_role_key": "owner",
            "output_index": 3,
            "output_role_key": "owner"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 3,
            "input_metadata_key": "subtype",
            "output_index": 3,
            "output_metadata_key": "subtype"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 3,
            "metadata_key": "parameters"
          }
        }
      },
      {
        "Restriction": "None"
      },
      {
        "Op": "NotL"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 3,
            "metadata_key": "subtype",
            "metadata_value": {
              "Literal": "demand_b"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "created"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 3,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "allocated"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 4,
            "input_metadata_key": "@original_id",
            "output_index": 4,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 4,
            "metadata_key": "@original_id"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 4,
            "output_index": 4,
            "output_metadata_key": "@original_id"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 4,
            "input_role_key": "optimiser",
            "output_index": 4,
            "output_role_key": "optimiser"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 4,
            "input_role_key": "member_a",
            "output_index": 4,
            "output_role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 4,
            "input_metadata_key": "demand_a",
            "output_index": 4,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputRole": {
            "input_index": 4,
            "input_role_key": "member_b",
            "output_index": 4,
            "output_role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 4,
            "input_metadata_key": "demand_b",
            "output_index": 4,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 4,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 4,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Restriction": {
          "InputHasRole": {
            "index": 4,
            "role_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasRole": {
            "index": 4,
            "role_key": "replaces"
          }
        }
      },
      {
        "Op": "Xnor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 4,
            "input_metadata_key": "replaces",
            "output_index": 4,
            "output_metadata_key": "replaces"
          }
        }
      },
      {
        "Restriction": {
          "OutputHasMetadata": {
            "index": 4,
            "metadata_key": "replaces"
          }
        }
      },
      {
        "Op": "ImplicationR"
      },
      {
        "Op": "And"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedOutputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedFinal"
            }
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 0,
            "input_metadata_key": "@original_id",
            "output_index": 4,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 0,
            "metadata_key": "demand_a"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 0,
            "output_index": 4,
            "output_metadata_key": "demand_a"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "MatchInputOutputMetadataValue": {
            "input_index": 3,
            "input_metadata_key": "@original_id",
            "output_index": 4,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "InputHasMetadata": {
            "index": 3,
            "metadata_key": "demand_b"
          }
        }
      },
      {
        "Restriction": {
          "MatchInputIdOutputMetadataValue": {
            "input_index": 3,
            "output_index": 4,
            "output_metadata_key": "demand_b"
          }
        }
      },
      {
        "Op": "InhibitionR"
      },
      {
        "Op": "Xor"
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedA"
            }
          }
        }
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 4,
            "role_key": "member_b"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Restriction": {
          "FixedInputMetadataValue": {
            "index": 4,
            "metadata_key": "state",
            "metadata_value": {
              "Literal": "acceptedB"
            }
          }
        }
      },
      {
        "Restriction": {
          "SenderHasOutputRole": {
            "index": 4,
            "role_key": "member_a"
          }
        }
      },
      {
        "Op": "And"
      },
      {
        "Op": "Or"
      },
      {
        "Op": "And"
      }
    ],
    "version": 1
  }
]