Assertion: file | /r/HasProperty | compressed
Facets:
Source sentences:
text: If everything works correctly, the expanded file is identical to the original file before it was compressed.