Assertion: second sequence | /r/HasProperty | called
Facets:
Source sentences:
text: The second sequence is called when the balance is not greater than or equal to the amount because of the \[else\] guard.