anchor.diff:    (:tuple "if" (1 :EXPRESSION) "then" (2 :EXPRESSION) "else" (3 :EXPRESSION))
     (make-if-expression 1 2 3 ':left-lc ':right-lc)  :documentation "If-Then-Else")
   
  +(define-sw-parser-rule :NON-MATCH-IF-EXPRESSION ()
  +  (:tuple "if" (1 :EXPRESSION) "then" (2 :EXPRESSION) "else" (3 :NON-MATCH-EXPRESSION))
  +  (make-if-expression 1 2 3 ':left-lc ':right-lc)  :documentation "If-Then-Else")
  +
   ;;; ------------------------------------------------------------------------
   ;;;   QUANTIFICATION
   ;;; ------------------------------------------------------------------------
   
   (define-sw-parser-rule :QUANTIFICATION ()
     (:tuple (1 :QUANTIFIER) (2 :LOCAL-VARIABLE-LIST) (3 :EXPRESSION))
  +  (make-quantification 1 2 3 ':left-lc ':right-lc)
  +  :documentation "Quantification")
  +
  +(define-sw-parser-rule :NON-MATCH-QUANTIFICATION ()
  +  (:tuple (1 :QUANTIFIER) (2 :LOCAL-VARIABLE-LIST) (3 :NON-MATCH-EXPRESSION))
     (make-quantification 1 2 3 ':left-lc ':right-lc)
     :documentation "Quantification")
   
  
positive.code:    )
    1)
  
  (define-sw-parser-rule :TIGHT-EXPRESSION ()
    (:anyof
     (1 :APPLICATION          :documentation "Application")
  
negative.code:    ((:tuple "let" (1 :REC-LET-BINDING-SEQUENCE) "in" (2 :EXPRESSION)) (make-rec-let-binding-term 1 2 ':left-lc ':right-lc) :documentation "RecLet Binding")
     ))
  
  (define-sw-parser-rule :NON-MATCH-LET-EXPRESSION ()
    (:anyof
     ((:tuple "let" (1 :RECLESS-LET-BINDING)      "in" (2 :NON-MATCH-EXPRESSION)) (make-let-binding-term     1 2 ':left-lc ':right-lc) :documentation "Let Binding")
     ((:tuple "let" (1 :REC-LET-BINDING-SEQUENCE) "in" (2 :NON-MATCH-EXPRESSION)) (make-rec-let-binding-term 1 2 ':left-lc ':right-lc) :documentation "RecLet Binding")
     ))
  
  (define-sw-parser-rule :RECLESS-LET-BINDING ()
   (:tuple (1 :PATTERN) :EQUALS (2 :EXPRESSION))
   (make-recless-let-binding 1 2 ':left-lc ':right-lc))
  