Assertion: variable's set | /r/HasProperty | b
Facets:
Source sentences:
text: But the set of live variables after line 1 is only { b }, since variable c is updated later, on line 2.