Updates to prototype dot graph generation for SeeC-Clang Mapped states.