Assertion: trace | /r/HasProperty | optimized
Facets:
Source sentences:
text: The trace is then optimized and compiled to machine code (trace).