anchor.diff:  (defelement (continuation-call (:include fn-call))
     "A call to a continuation (as opposed to a call to any other sort of function)")
   
  -;;;; JWACS extended syntax  
  +;;;; ------- jwacs extended syntax -----------------------------------------------------------------
   (defelement (suspend-statement (:include source-element)))
   
   (defelement (resume-statement (:include source-element))
     (target nil :type source-element)
     (arg nil :type (or source-element null)))
   
  -;;;; Operator precedence and associativity 
  +;;;; ======= Static source element properties ======================================================
  +
  +;;;; ------- Operator precedence and associativity -------------------------------------------------
   (defgeneric elm-precedence (elm)
     (:documentation
      "Returns an integer specifying the precedence of the source element
  
positive.code:       :lshift-equals :rshift-equals :urshift-equals :and-equals :xor-equals :or-equals)
       :right)))
  
  ;;;; Other static properties of source models
  
  ;;TODO This function is not complete:
  ;;TODO is this function in the right place?
  ;; - binary operators are idempotent so long as they
  ;;   aren't assignment operators and so long as both args are idempotent.
  ;; - conditional operators are idempotent so long as all args are idempotent
  
negative.code:   body)
  
  (defelement (switch (:include source-element))
    (value nil :type expression)
    clauses)
  
  (defelement (case-clause (:include source-element))
    (value nil :type expression)
    body)
  
  (defelement (default-clause (:include source-element))
  