Assertion: called function | /r/HasProperty | certain
Facets:
Source sentences:
text: Passed objects of immutable types such as integers and strings cannot be changed by the called function; the calling function can be certain that the called function will not change them.