anchor.diff:                        (state5 (var x) '(e e w e))
                         (state6 (var x) '(w e w e))
                         (state7 (var x) '(e e e e)))
  -              then (path (var x) '((w w w w) (e w e w) (w w e w) (e e e w) (w e w w) (e e w e) (w e w e) (e e e e))))
  +              then (path (var x) a))
           ))
   
  -
  -; (state7 path-1 (var x))
  +; '((w w w w) (e w e w) (w w e w) (e e e w) (w e w w) (e e w e) (w e w e) (e e e e)))
  +      
  +; (state7 path1 (var x))
  +; (state3 path1 (var x))
  +; (path path-1 (var x))
   
   (setq *askables*
         '(
  
positive.code:               then (state2 (var x) '(w w e w)) 1)
          
          
          ; take wolf
          (rule if (state2 (var x) '(w w e w))
                then (state3 (var x) '(e e e w)) 1)
          ; return with goat
          (rule if (state3 (var x) '(e e e w))
                then (state4 (var x) '(w e w w)) 1)
  
negative.code:               then (state5 (var x) '(e e w e)) 1)
          
          
          ; ; take cabbage   
          ; (rule if (state2 (var x) '(w w e w))
          ;       then (state3 (var x) '(e w e e)) 1)
          ; return with goat
          (rule if (state3 (var x) '(e w e e))
                then (state4 (var x) '(w w w e)) 1)
  