C.11.8.3 has incorrect pass and fail conditions
Currently in EN 301 549 version 3.2.1:
C.11.8.3 Preservation of accessibility information in transformations
Pre-conditions 1. The software is an authoring tool. 2. The authoring tool provides restructuring transformations or re-coding transformations. Procedure 1. For a restructuring transformation, check if the accessibility information is preserved in the output. 2. For a restructuring transformation, check if the content technology supports accessibility information for the restructured form of the information. 3. For a re-coding transformation, check if the accessibility information is preserved in the output. 4. For a re-coding transformation, check if the accessibility information is supported by the technology of the re-coded output. Result Pass: Check 1 is true or checks 1 and 2 are false or check 3 is true or checks 3 and 4 are false Fail: Check 1 is false and check 2 is true Not applicable: Pre-condition 1 or 2 is not met.
Issues:
(1) The fail condition is missing checks 3 and 4. The logic should be:
Fail: (Check 1 is false and check 2 is true) or (check 3 is false and check 4 is true)
(2) In a case where a single software product performs both restructuring transformations and recoding transformations, the Pass condition is not accurate. The logic should be:
Pass: (Check 1 is true or checks 1 and 2 are false) and (check 3 is true or checks 3 and 4 are false)
That should suffice. However, if you prefer a greater degree of formality, you could consider providing separate preconditions for restructuring and re-coding.