anchor.diff:            state state (type-of (@get-state state)) (@state-cond state) state (@state-nexts state)))
   
   (def-state-method state->dot ((state end-state) stream)
  -  (format stream "~A [peripheries=2 label=\"~A\\n~A [~A]\\antype = ~A\"];~%"
  +  (format stream "~A [peripheries=2 label=\"~A\\n~A [~A]\\ntype = ~A\"];~%"
             state state (@state-type state) (@state-cond state) (@state-end-type state)))
   
   (defun atn->dot (atn &optional (stream *standard-output*))
     "Output ATN into stream in dot format"
     (with-atn atn
  -    (format stream "digraph g {~%")
  -    (@traverse-atn (rcurry #'state->dot stream))
  -    (format stream "}")))
  +    (@atn->dot stream)))
   
   (defun @atn->dot (&optional (stream *standard-output*))
     "Output ATN into stream in dot format"
  
positive.code:           else do (return-from parse-defmethod-args
                      (values qualifiers (first sublist) (rest sublist)))))
  
    (defmacro def-state-method (name &rest args)
      (multiple-value-bind (qualifiers params body)
          (parse-defmethod-args args)
        (let* ((generic-name (symbolicate "%%" name))
  
negative.code: 
             #:with-atn
  
             #:@extra
  
             #:@get-state
             #:@add-state
             #:@rem-state
             #:@states
             #:@state-type
             #:@state-call-to
  
             #:@get-rule
             #:@add-rule
             #:@rem-rule
             #:@rules
  
             #:@typep
             
             #:@state-nexts-without-end
             #:delayed-rule
  
             #:with-visiting
  