Assertion: sequence | /r/HasProperty | followed by a control flow jump
Facets:
Source sentences:
text: An LCSAJ is a software code path fragment consisting of a sequence of code (a linear code sequence) followed by a control flow Jump, and consists of the following three items: