/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