Assertion: trace | /r/CapableOf | represent only one execution path
Facets:
Source sentences:
text: Traces are easy to optimize, since they represent only one execution path, which means that no control flow exists and needs no handling.