Assertion: command's file | /r/HasProperty | resaved
Facets:
Source sentences:
text: If no [file] is specified, then the current file is resaved.