(define gv (show-graph (digraph '(1 2 3) '((1 1) (3 3)))))
(define (reflexive gv)
      (not (member #f 
                 (map (lambda (x)
                         (set! (color x) "green")
                         (let ((e (is-edge (vertex x) 
                                           (vertex x)))) 
                                 (cond (e  (jiggle (edge-item e)) #t)
                                       (#t (set! (color x) "red") #f))))
                      (vertices gv)))))
(reflexive gv)
