Assertion: symbolic execution | /r/CapableOf | proceed along branch
Facets:
value: by forking" two paths
type: MANNER
Source sentences:
text: At this point of the program, λ could take any value, and symbolic execution can therefore proceed along both branches, by "forking" two paths.