Index: src/Tests/Output-s/InferParam.txt
===================================================================
--- src/Tests/Output-s/InferParam.txt	(revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad)
+++ src/Tests/Output-s/InferParam.txt	(revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad)
@@ -0,0 +1,87 @@
+Adding function ?=?
+--- Entering scope
+--- Leaving scope containing
+Adding function ?=?
+--- Entering scope
+--- Leaving scope containing
+Adding function ?=?
+--- Entering scope
+--- Leaving scope containing
+Adding function g
+--- Entering scope
+--- Entering scope
+--- Leaving scope containing
+Adding type T
+Adding function ?=?
+--- Entering scope
+--- Leaving scope containing
+--- Entering scope
+--- Leaving scope containing
+Adding type U
+Adding function ?=?
+--- Entering scope
+--- Leaving scope containing
+Adding function f
+--- Entering scope
+--- Leaving scope containing
+--- Leaving scope containing
+T
+U
+Adding function f
+--- Entering scope
+--- Leaving scope containing
+Adding function f
+--- Entering scope
+--- Leaving scope containing
+Adding function i
+--- Entering scope
+--- Leaving scope containing
+Adding function h
+--- Entering scope
+--- Entering scope
+Adding object a
+--- Leaving scope containing
+--- Leaving scope containing
+--- Entering scope
+--- Entering scope
+--- Leaving scope containing
+Adding type T
+--- Entering scope
+--- Leaving scope containing
+Adding type U
+Adding function f
+--- Entering scope
+--- Leaving scope containing
+Adding function j
+--- Entering scope
+--- Leaving scope containing
+--- Leaving scope containing
+T
+U
+Adding context has_f_and_j
+Adding function j
+--- Entering scope
+--- Leaving scope containing
+Adding function k
+--- Entering scope
+--- Entering scope
+--- Leaving scope containing
+Adding type T
+Adding function ?=?
+--- Entering scope
+--- Leaving scope containing
+--- Entering scope
+--- Leaving scope containing
+Adding type U
+Adding function ?=?
+--- Entering scope
+--- Leaving scope containing
+--- Leaving scope containing
+T
+U
+Adding function l
+--- Entering scope
+--- Entering scope
+Adding object b
+--- Leaving scope containing
+--- Leaving scope containing