Assertion: function | /r/CapableOf | end with properstatement
Facets:
Source sentences:
text: All other functions with a return type shall end with a properstatement that includes a return value, even if this is never used.