This is mostly complete. We need to add external access to the mapped run-time errors, filtering to retrieve only active run-time errors, and to close #21.
21 and #28 are both closed now. However, we need to implement the FILE * state information required by #37 before we can consider SeeC-Clang's mapped state recreation complete (there will still be more we could add, but this should be sufficient for 13.08).
Full support for recreating and traversing states with SeeC-Clang mapping information. This includes: