Assertion: jump | /r/AtLocation | the middle of an lcsaj
Facets:
Source sentences:
text: Unlike (maximal) basic blocks, LCSAJs can overlap with each other because a jump (out) may occur in the middle of an LCSAJ, while it isn't allowed in the middle of a basic block.