The assumption A.PRESERVE_DOCUMENT_LAYOUT in the original EP is not a valid assumption as originally written because it describes behavior of the TOE, which is testable and should be covered by TOE objectives/SFRs by definition. This assumption has been removed for the time being. It is recommended that one or more SFRs be written to cover this behavior if there is a desire to see it be covered, since the SFR language to cover this seems like it would be pretty straightforward.
The assumption A.PRESERVE_DOCUMENT_LAYOUT in the original EP is not a valid assumption as originally written because it describes behavior of the TOE, which is testable and should be covered by TOE objectives/SFRs by definition. This assumption has been removed for the time being. It is recommended that one or more SFRs be written to cover this behavior if there is a desire to see it be covered, since the SFR language to cover this seems like it would be pretty straightforward.