Assertion: trace | /r/MadeOf | runtime information
Facets:
Source sentences:
text: Since tracing is done during execution, the trace can be made to contain runtime information (e.g. type information).