(("root"
  (location
   (("location"
     (file-name . "parse_locations.dzn")
     (line . 24)
     (column . 1)
     (end-line . 34)
     (end-column . 1)
     (offset . 839)
     (length . 101))))
  (("bool" (name . bool)))
  (("void" (name . void)))
  (("file-name" (name . "./ihello.dzn")))
  (("interface"
    (location
     (("location"
       (file-name . "./ihello.dzn")
       (line . 24)
       (column . 1)
       (end-line . 32)
       (end-column . 2)
       (offset . 839)
       (length . 76))))
    (name . ihello)
    (types ("types"))
    (events
     ("events"
      (("event"
        (location
         (("location"
           (file-name . "./ihello.dzn")
           (line . 26)
           (column . 3)
           (end-line . 26)
           (end-column . 19)
           (offset . 860)
           (length . 16))))
        (name . "hello")
        (signature
         ("signature"
          (location
           (("location"
             (file-name . "./ihello.dzn")
             (line . 26)
             (column . 6)
             (end-line . 26)
             (end-column . 10)
             (offset . 863)
             (length . 4))))
          (type.name . void)
          (formals ("formals"))))
        (direction . in)))))
    (behavior
     ("behavior"
      (location
       (("location"
         (file-name . "./ihello.dzn")
         (line . 28)
         (column . 3)
         (end-line . 31)
         (end-column . 4)
         (offset . 880)
         (length . 33))))
      (types ("types"))
      (ports ("ports"))
      (variables ("variables"))
      (functions ("functions"))
      (statement
       ("compound"
        (location
         (("location"
           (file-name . "./ihello.dzn")
           (line . 29)
           (column . 3)
           (end-line . 31)
           (end-column . 4)
           (offset . 891)
           (length . 22))))
        (("on"
          (location
           (("location"
             (file-name . "./ihello.dzn")
             (line . 30)
             (column . 5)
             (end-line . 30)
             (end-column . 17)
             (offset . 897)
             (length . 12))))
          (triggers
           ("triggers"
            (("trigger"
              (location
               (("location"
                 (file-name . "./ihello.dzn")
                 (line . 30)
                 (column . 8)
                 (end-line . 30)
                 (end-column . 13)
                 (offset . 900)
                 (length . 5))))
              (event.name . "hello")
              (formals ("formals"))))))
          (statement
           ("compound"
            (location
             (("location"
               (file-name . "./ihello.dzn")
               (line . 30)
               (column . 15)
               (end-line . 30)
               (end-column . 17)
               (offset . 907)
               (length . 2))))))))))))))
  (("file-name" (name . "parse_locations.dzn")))
  (("import"
    (location
     (("location"
       (file-name . "parse_locations.dzn")
       (line . 24)
       (column . 1)
       (end-line . 24)
       (end-column . 19)
       (offset . 839)
       (length . 18))))
    (name . "ihello.dzn")))
  (("component"
    (location
     (("location"
       (file-name . "parse_locations.dzn")
       (line . 26)
       (column . 1)
       (end-line . 33)
       (end-column . 2)
       (offset . 859)
       (length . 80))))
    (name . hello)
    (ports ("ports"
            (("port"
              (location
               (("location"
                 (file-name . "parse_locations.dzn")
                 (line . 28)
                 (column . 3)
                 (end-line . 28)
                 (end-column . 21)
                 (offset . 879)
                 (length . 18))))
              (name . "h")
              (type.name . ihello)
              (direction . provides)
              (formals ("formals"))))))
    (behavior
     ("behavior"
      (location
       (("location"
         (file-name . "parse_locations.dzn")
         (line . 29)
         (column . 3)
         (end-line . 32)
         (end-column . 4)
         (offset . 900)
         (length . 37))))
      (types ("types"))
      (ports ("ports"))
      (variables ("variables"))
      (functions ("functions"))
      (statement
       ("compound"
        (location
         (("location"
           (file-name . "parse_locations.dzn")
           (line . 30)
           (column . 3)
           (end-line . 32)
           (end-column . 4)
           (offset . 911)
           (length . 26))))
        (("on"
          (location
           (("location"
             (file-name . "parse_locations.dzn")
             (line . 31)
             (column . 5)
             (end-line . 31)
             (end-column . 21)
             (offset . 917)
             (length . 16))))
          (triggers
           ("triggers"
            (("trigger"
              (location
               (("location"
                 (file-name . "parse_locations.dzn")
                 (line . 31)
                 (column . 8)
                 (end-line . 31)
                 (end-column . 17)
                 (offset . 920)
                 (length . 9))))
              (port.name . "h")
              (event.name . "hello")
              (formals ("formals"))))))
          (statement
           ("compound"
            (location
             (("location"
               (file-name . "parse_locations.dzn")
               (line . 31)
               (column . 19)
               (end-line . 31)
               (end-column . 21)
               (offset . 931)
               (length . 2))))))))))))))
  (working-directory . ".")))
