Assertion: function's return value | /r/HasProperty | int type
Facets:
Source sentences:
text: This is because the return value of add() is of int type.