Fix possible crash in GetRealFunctionAddress()
Replace std::pair with already existing Record struct in CaseTable
Print automaton name only once

There's no point in printing automaton name for each state because you can't
have multiple automatons:

error 083: a function or variable may only belong to a single automaton (symbol "foo")
Add states test