{
  "s2cstmap": [
    {
      "s2cst_sym": "prop",
      "s2cst_srt": {
        "S2RTbas": [
          "t@ype"
        ]
      },
      "s2cst_stamp": 729,
      "s2cst_supcls": [

      ],
      "s2cst_dconlst": [

      ]
    },
    {
      "s2cst_sym": "constraint",
      "s2cst_srt": {
        "S2RTbas": [
          "type"
        ]
      },
      "s2cst_stamp": 730,
      "s2cst_supcls": [

      ],
      "s2cst_dconlst": [
        [
          {
            "d2con_sym": "ConstraintProp",
            "d2con_type": {
              "s2exp_srt": {
                "S2RTbas": [
                  "type"
                ]
              },
              "s2exp_node": {
                "S2Efun": [
                  -1,
                  [
                    {
                      "s2exp_srt": {
                        "S2RTbas": [
                          "t@ype"
                        ]
                      },
                      "s2exp_node": {
                        "S2Ecst": [
                          {
                            "s2cst_stamp": 729
                          }
                        ]
                      }
                    }
                  ],
                  {
                    "s2exp_srt": {
                      "S2RTbas": [
                        "type"
                      ]
                    },
                    "s2exp_node": {
                      "S2Ecst": [
                        {
                          "s2cst_stamp": 730
                        }
                      ]
                    }
                  }
                ]
              }
            },
            "d2con_stamp": 55
          },
          {
            "d2con_sym": "ConstraintConj",
            "d2con_type": {
              "s2exp_srt": {
                "S2RTbas": [
                  "type"
                ]
              },
              "s2exp_node": {
                "S2Efun": [
                  -1,
                  [
                    {
                      "s2exp_srt": {
                        "S2RTbas": [
                          "type"
                        ]
                      },
                      "s2exp_node": {
                        "S2Eexi": [
                          [
                            {
                              "s2var_stamp": 3858
                            }
                          ],
                          [
                            {
                              "s2exp_srt": {
                                "S2RTbas": [
                                  "bool"
                                ]
                              },
                              "s2exp_node": {
                                "S2Eapp": [
                                  {
                                    "s2exp_srt": {
                                      "S2RTfun": [
                                        [
                                          {
                                            "S2RTbas": [
                                              "int"
                                            ]
                                          },
                                          {
                                            "S2RTbas": [
                                              "int"
                                            ]
                                          }
                                        ],
                                        {
                                          "S2RTbas": [
                                            "bool"
                                          ]
                                        }
                                      ]
                                    },
                                    "s2exp_node": {
                                      "S2Ecst": [
                                        {
                                          "s2cst_stamp": 45
                                        }
                                      ]
                                    }
                                  },
                                  [
                                    {
                                      "s2exp_srt": {
                                        "S2RTbas": [
                                          "int"
                                        ]
                                      },
                                      "s2exp_node": {
                                        "S2Evar": [
                                          {
                                            "s2var_stamp": 3858
                                          }
                                        ]
                                      }
                                    },
                                    {
                                      "s2exp_srt": {
                                        "S2RTbas": [
                                          "int"
                                        ]
                                      },
                                      "s2exp_node": {
                                        "S2Eintinf": [
                                          "0"
                                        ]
                                      }
                                    }
                                  ]
                                ]
                              }
                            }
                          ],
                          {
                            "s2exp_srt": {
                              "S2RTbas": [
                                "type"
                              ]
                            },
                            "s2exp_node": {
                              "S2Eapp": [
                                {
                                  "s2exp_srt": {
                                    "S2RTfun": [
                                      [
                                        {
                                          "S2RTbas": [
                                            "t@ype"
                                          ]
                                        },
                                        {
                                          "S2RTbas": [
                                            "int"
                                          ]
                                        }
                                      ],
                                      {
                                        "S2RTbas": [
                                          "type"
                                        ]
                                      }
                                    ]
                                  },
                                  "s2exp_node": {
                                    "S2Ecst": [
                                      {
                                        "s2cst_stamp": 491
                                      }
                                    ]
                                  }
                                },
                                [
                                  {
                                    "s2exp_srt": {
                                      "S2RTbas": [
                                        "type"
                                      ]
                                    },
                                    "s2exp_node": {
                                      "S2Ecst": [
                                        {
                                          "s2cst_stamp": 730
                                        }
                                      ]
                                    }
                                  },
                                  {
                                    "s2exp_srt": {
                                      "S2RTbas": [
                                        "int"
                                      ]
                                    },
                                    "s2exp_node": {
                                      "S2Evar": [
                                        {
                                          "s2var_stamp": 3858
                                        }
                                      ]
                                    }
                                  }
                                ]
                              ]
                            }
                          }
                        ]
                      }
                    }
                  ],
                  {
                    "s2exp_srt": {
                      "S2RTbas": [
                        "type"
                      ]
                    },
                    "s2exp_node": {
                      "S2Ecst": [
                        {
                          "s2cst_stamp": 730
                        }
                      ]
                    }
                  }
                ]
              }
            },
            "d2con_stamp": 56
          },
          {
            "d2con_sym": "ConstraintDisj",
            "d2con_type": {
              "s2exp_srt": {
                "S2RTbas": [
                  "type"
                ]
              },
              "s2exp_node": {
                "S2Efun": [
                  -1,
                  [
                    {
                      "s2exp_srt": {
                        "S2RTbas": [
                          "type"
                        ]
                      },
                      "s2exp_node": {
                        "S2Eexi": [
                          [
                            {
                              "s2var_stamp": 3859
                            }
                          ],
                          [
                            {
                              "s2exp_srt": {
                                "S2RTbas": [
                                  "bool"
                                ]
                              },
                              "s2exp_node": {
                                "S2Eapp": [
                                  {
                                    "s2exp_srt": {
                                      "S2RTfun": [
                                        [
                                          {
                                            "S2RTbas": [
                                              "int"
                                            ]
                                          },
                                          {
                                            "S2RTbas": [
                                              "int"
                                            ]
                                          }
                                        ],
                                        {
                                          "S2RTbas": [
                                            "bool"
                                          ]
                                        }
                                      ]
                                    },
                                    "s2exp_node": {
                                      "S2Ecst": [
                                        {
                                          "s2cst_stamp": 45
                                        }
                                      ]
                                    }
                                  },
                                  [
                                    {
                                      "s2exp_srt": {
                                        "S2RTbas": [
                                          "int"
                                        ]
                                      },
                                      "s2exp_node": {
                                        "S2Evar": [
                                          {
                                            "s2var_stamp": 3859
                                          }
                                        ]
                                      }
                                    },
                                    {
                                      "s2exp_srt": {
                                        "S2RTbas": [
                                          "int"
                                        ]
                                      },
                                      "s2exp_node": {
                                        "S2Eintinf": [
                                          "0"
                                        ]
                                      }
                                    }
                                  ]
                                ]
                              }
                            }
                          ],
                          {
                            "s2exp_srt": {
                              "S2RTbas": [
                                "type"
                              ]
                            },
                            "s2exp_node": {
                              "S2Eapp": [
                                {
                                  "s2exp_srt": {
                                    "S2RTfun": [
                                      [
                                        {
                                          "S2RTbas": [
                                            "t@ype"
                                          ]
                                        },
                                        {
                                          "S2RTbas": [
                                            "int"
                                          ]
                                        }
                                      ],
                                      {
                                        "S2RTbas": [
                                          "type"
                                        ]
                                      }
                                    ]
                                  },
                                  "s2exp_node": {
                                    "S2Ecst": [
                                      {
                                        "s2cst_stamp": 491
                                      }
                                    ]
                                  }
                                },
                                [
                                  {
                                    "s2exp_srt": {
                                      "S2RTbas": [
                                        "type"
                                      ]
                                    },
                                    "s2exp_node": {
                                      "S2Ecst": [
                                        {
                                          "s2cst_stamp": 730
                                        }
                                      ]
                                    }
                                  },
                                  {
                                    "s2exp_srt": {
                                      "S2RTbas": [
                                        "int"
                                      ]
                                    },
                                    "s2exp_node": {
                                      "S2Evar": [
                                        {
                                          "s2var_stamp": 3859
                                        }
                                      ]
                                    }
                                  }
                                ]
                              ]
                            }
                          }
                        ]
                      }
                    }
                  ],
                  {
                    "s2exp_srt": {
                      "S2RTbas": [
                        "type"
                      ]
                    },
                    "s2exp_node": {
                      "S2Ecst": [
                        {
                          "s2cst_stamp": 730
                        }
                      ]
                    }
                  }
                ]
              }
            },
            "d2con_stamp": 57
          }
        ]
      ]
    }
  ],
  "s2varmap": [

  ],
  "d2conmap": [

  ],
  "d2cstmap": [

  ],
  "d2varmap": [

  ],
  "d2eclist": [
    {
      "d2ecl_loc": "\/home\/ugrad\/wdblair\/work\/ats\/parsing\/adt.dats: 264(line=10, offs=1) -- 277(line=10, offs=14)",
      "d2ecl_node": {
        "D2Cstacsts": [
          1,
          [
            {
              "s2cst_stamp": 729
            }
          ]
        ]
      }
    },
    {
      "d2ecl_loc": "\/home\/ugrad\/wdblair\/work\/ats\/parsing\/adt.dats: 279(line=12, offs=1) -- 410(line=15, offs=41)",
      "d2ecl_node": {
        "D2Cdatdecs": [
          0,
          [
            {
              "s2cst_stamp": 730
            }
          ]
        ]
      }
    }
  ]
}