Symbolic Execution History

In order to debug and understand program execution, the execution history can be saved.

Strings and Characters
Tensors