Assertion: execution | /r/CapableOf | reach component
Facets:
Source sentences:
text: Consistency problems may arise when execution reaches components that are not under control of the symbolic execution tool (e.g., kernel or libraries).