added a failing test case; fixing this one isn't simple, but hopefully will also lead to good performance improvements (for some models at least)

collects/redex/tests/tl-test.rkt

@@ -550,6 +550,25 @@
       [(g any) 2])
     (test (term (g 0)) 2))
   
+  (let ()
+    (define-language L 
+      (v 1 (v)))
+    (define-metafunction L
+      f : v -> v
+      [(f (v)) 
+       any_1
+       (where any_1 (f v))])
+    
+    (define-extended-language M
+      L
+      (v .... 2))
+    (define-metafunction/extension f M
+      g : v -> v
+      [(g 2) 2]))
+
+(current-traced-metafunctions 'all)
+(term (g (2)))
+  
   (let ()
     (define-metafunction empty-language
       [(f (number_1 number_2))