2 files changed, 44 insertions, 0 deletions
diff --git a/test-files/mds-kbdc/validate-tree/valid/assumption-function b/test-files/mds-kbdc/validate-tree/valid/assumption-function
new file mode 100644
index 0000000..8cdc5d5
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/valid/assumption-function
@@ -0,0 +1,21 @@
+assumption
+  function digit/1
+    "\add(\1 "0")"
+  end function
+end assumption
+
+# (assumption (@ 1 0-10)
+#   (.inner
+#     (function (@ 2 2-10) ‘digit/1’
+#       (.inner
+#         (map (@ 3 4-18)
+#           (.sequence
+#             (string (@ 3 4-18) ‘"\add(\1 "0")"’)
+#           )
+#           (.result nil)
+#         )
+#       )
+#     )
+#   )
+# )
+
diff --git a/test-files/mds-kbdc/validate-tree/valid/assumption-macro b/test-files/mds-kbdc/validate-tree/valid/assumption-macro
new file mode 100644
index 0000000..68d64d3
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/valid/assumption-macro
@@ -0,0 +1,23 @@
+assumption
+  macro letter/1
+    <letter \1> : \1
+  end macro
+end assumption
+
+# (assumption (@ 1 0-10)
+#   (.inner
+#     (macro (@ 2 2-7) ‘letter/1’
+#       (.inner
+#         (map (@ 3 4-20)
+#           (.sequence
+#             (keys (@ 3 4-15) ‘<letter \1>’)
+#           )
+#           (.result
+#             (string (@ 3 18-20) ‘\1’)
+#           )
+#         )
+#       )
+#     )
+#   )
+# )
+