diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_010_only_text_paragraph.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_010_only_text_paragraph.docx index 39a8619ab..43ea2893e 100644 Binary files a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_010_only_text_paragraph.docx and b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_010_only_text_paragraph.docx differ diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_020_simple_chapter.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_020_simple_chapter.docx index 3d095b3bf..9d5abaa55 100644 Binary files a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_020_simple_chapter.docx and b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_020_simple_chapter.docx differ diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_030_chapter_section_subsection_paragraph.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_030_chapter_section_subsection_paragraph.docx index 1969a1ea7..dac295ea5 100644 Binary files a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_030_chapter_section_subsection_paragraph.docx and b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_030_chapter_section_subsection_paragraph.docx differ diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_040_item_list.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_040_item_list.docx index 6e412474b..618cf99a7 100644 Binary files a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_040_item_list.docx and b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_040_item_list.docx differ diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx index e4e234bc0..68f888bae 100644 Binary files a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx and b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx differ diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx index cd93cb114..1fa148fbc 100644 Binary files a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx and b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx differ