anchor.diff:  ;;;  http://www.specware.org/manual/html/matchesandpatterns.html
   ;;; ========================================================================
   
  +;;(define-sw-parser-rule :MATCH ()
  +;;  (:tuple (:optional "|") (1 (:repeat :BRANCH "|")))
  +;;  (list . 1))
  +
   (define-sw-parser-rule :MATCH ()
  -  (:tuple (:optional "|") (1 (:repeat :BRANCH "|")))
  -  (list . 1))
  +  (:tuple (:optional "|") (1 :AUX-MATCH))
  +  1)
  +
  +(define-sw-parser-rule :AUX-MATCH ()
  +  (:anyof
  +   ((:tuple (1 :NON-MATCH-BRANCH) "|" (2 :AUX-MATCH)) (cons 1 2))
  +   ((:tuple (1 :BRANCH))                              (cons 1 nil))
  +   ))
  +
  +(define-sw-parser-rule :NON-MATCH-BRANCH ()
  +  (:tuple (1 :PATTERN) "->" (2 :NON-MATCH-EXPRESSION))
  +  (make-branch 1 2 ':left-lc ':right-lc))
   
   (define-sw-parser-rule :BRANCH ()
     (:tuple (1 :PATTERN) "->" (2 :EXPRESSION))
  
positive.code:    )
    1)
  
  (define-sw-parser-rule :TIGHT-EXPRESSION ()
    (:anyof
     (1 :APPLICATION          :documentation "Application")
  
negative.code:   (: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")
  
  