Assertion: static slice | /r/HasProperty | computed
Facets:
value: by backtracking dependencies between statements
type: MANNER
Source sentences:
text: Static slices are computed by backtracking dependencies between statements.