Add accessors to seec::cm::FunctionState for parameters and local variables.
Start testing conversion from SeeC-Clang Mapped states to dot graphs.