"""Return MultiDiGraph copy of system graph with JUMP edges added."""
"""Return state (key, data) tuple for state.
"""Return a dict of state:index pairs."""
"""Return a dict of index:state pairs."""
"""Convert state name to index or vice versa.