Assertion: parameter's number | /r/HasProperty | printed
Facets:
Source sentences:
text: Postcondition: the number of lines are printed.
text: Postcondition: the number of lines are printed.
text: Postcondition: the number of lines are printed.