/test-files/mds-kbdc/simplify-tree/invalid/

• ../
• bad_value
• double_value
• empty_unordered
• long_double_unordered
• long_single_unordered
• macro_call_with_empty_alternation
• map_from_nothingness_by_alternation
• map_from_nothingness_by_emptyness
• map_to_nothing
• map_to_unordered_and_alternative
• nothing_but_nothing_in_unordered
• unordered_double_value