Return true if vertex-1 and vertex-2 are connected
   by an edge. [?? compare with vertices-share-edge-p and remove one or
   maybe call one directed-adjacentp] 
| adjacentp < basic-graph > < basic-vertex > < basic-vertex > | 
| adjacentp < basic-graph > < t > < t > |