definition of graphs without explicitly giving the alphabet, minor change in GraphWithInverses.add_edge()