Assertion: trace | /r/HasProperty | turned into machine code
Facets:
value: after the optimization
type: TEMPORAL
Source sentences:
text: After the optimization, the trace is turned into machine code.