Index: src/Tests/Expect-v/TypeGenerator.txt
===================================================================
--- src/Tests/Expect-v/TypeGenerator.txt	(revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad)
+++ src/Tests/Expect-v/TypeGenerator.txt	(revision 883b46c18dfa29091d8ebb464473bc685d37dcb7)
@@ -7,4 +7,11 @@
           with parameters
             instance of type T (not function type) 
+            instance of type T (not function type) 
+          returning 
+            instance of type T (not function type) 
+
+      ?=?: function
+          with parameters
+            pointer to instance of type T (not function type) 
             instance of type T (not function type) 
           returning 
@@ -80,10 +87,4 @@
             instance of type T (not function type) 
 
-
-
-  with assertions
-    instance of context addable 
-      with parameters
-        instance of type T (not function type)