 
 
 ;Sort retrieval
+(declare descendent-infer-type)
+
 
 (defn creates-identifier? [rule]
   (or

    (logical-operator? (.getText (.getChild exp 1)))))


(defn arithmetic-expression? [exp]
  (and
    (= (.getChildCount exp) 3)
    (arithmetic-operator? (.getText (.getChild exp 1)))))


(defn unary? [exp]

    (= op "%")))


(defn comparison-operator? [op]
  (or
    (= op ">") 
    (= op ">=") 
    (= op "<") 
    (= op "<="))) 


(defn unary-operator? [op]
  (or
    (= op "++")
