anchor.diff:  	   :in base :collect (push (list ?id :connects-to ?id2) base))
     base)
   
  +(defmethod label-line-connections ((base list))
  +  "Some lines connect to other lines. Connecting lines will be a single connection rather than multiple connections."
  +  (for-all (and (?id :line-segment nil)
  +		(?id :start ?start) (?id :end ?end)
  +		(?id2 :line-segment nil)
  +		(lisp (not (equal ?id ?id2)))
  +		(or (?id2 :start ?end) (?id2 :end ?start)
  +		    (?id2 :start ?start) (?id2 :end ?end)))
  +	   :in base :do (push (list ?id :line-connects-to-line ?id2) base))
  +  base)
  +
   (defun walk-segment-graph (base src &key (explored (list src)))
     (for-all `(and (or (,src :line-connects-to-line ?id)
   		     (?id :line-connects-to-line ,src))
  
positive.code:   base)
  
  (defmethod label-constants ((base list))
    "A rounded rectangle with a perfectly overlapping text box is a constatn."
    (for-all (and (?id :rounded-rectangle nil)
  		(?id :start ?start) (?id :end ?end)
  		(?text :text nil)
  
negative.code: 		      (:* `(make-multiplier ,@(generate-arguments base ?id)))
  		      (:+ `(make-adder ,@(generate-arguments base ?id))))))
  
  (defmethod generate-constraints ((base list))
    (for-all (and (?id :sicp-constraint nil)
  		(?id :constraint-of ?txt)
  		(?txt :sicp-constraint-name nil)
  		(?txt :contents ?name))
  	   :in base
  	   :collect `(,(case (intern (sanitize ?name) :keyword)
  			     (:* make-multiplier)
  			     (:+ make-adder))
  		       ,@(generate-arguments base ?id))))
  
  (defmethod generate-internal-connections ((base list))
    (for-all (and (?id :cluster nil)
  		(not (and (?id :contains ?line)
  