/test-files/mds-kbdc/simplify-tree/valid/
../
2-to-2-mapping
alternated_map
alternated_value_statement
alternation_inside_unordered
macro_call
macro_call_alternation
macro_call_alternation_with_nothing
macro_call_with_nothing
macro_call_with_singleton_alternation
map_with_nested_alternation
map_with_nothing_in_alternation
mapping_with_unordered_singleton
multiple_nothing_alternation_in_macro_call
nested_alternations_in_macro_call
nothing_in_map
nothing_in_unordered
simple_mapping
unordered_inside_alternation
unordered_inside_unordered
unordered_sequence
value