Write the following additional properties when rendering Values:
 value-id: An identifier that is unique to each Value.
 type: A string describing the Value's type.
 address: The Value's recorded runtime address.
Further implement the state graph viewer's webpage.