     "__vector_access__"
     (visit-rule (.getChild rule 0))
     (hash (.getText (.getChild rule 2)))))
-    
+
 
 (defn visit-children [rule]
-  (loop [result "" i 0 max (.getChildCount rule)]
+  (loop [result "" 
+         i 0
+         max (.getChildCount rule)]
     (if
       (= i max)
       result



(defn transform [contract]
  (visit-rule (parse-contract contract)))
  (and
    (= (.getChildCount exp) 4)
    (= "[" (.getText (.getChild exp 1)))
    (= "]" (.getText (.getChild exp 3)))))


;Contract parsing
