Update graph_map.py

Implementing Stalling's folding algorithm.
I had to give G3 and A as input because defining them in the function was giving an error saying "Global name 'GraphWithInverses' not defined"