diff --git a/csharp/ql/test/utils/model-generator/theorems/CaptureTheoremsForFreeSummaryModels.expected b/csharp/ql/test/utils/model-generator/theorems/CaptureTheoremsForFreeSummaryModels.expected
index ff9db0ef64c..8aec61a529a 100644
--- a/csharp/ql/test/utils/model-generator/theorems/CaptureTheoremsForFreeSummaryModels.expected
+++ b/csharp/ql/test/utils/model-generator/theorems/CaptureTheoremsForFreeSummaryModels.expected
@@ -1,18 +1,41 @@
 | Summaries;CollectionTheorems1<>;false;Add;(T);;Argument[0];Argument[this].Element;value;generated |
 | Summaries;CollectionTheorems1<>;false;AddMany;(System.Collections.Generic.IEnumerable<T>);;Argument[0].Element;Argument[this].Element;value;generated |
 | Summaries;CollectionTheorems1<>;false;First;();;Argument[this].Element;ReturnValue;value;generated |
+| Summaries;CollectionTheorems1<>;false;GetEnumerator;();;Argument[this].Element;ReturnValue.SyntheticField[ArgType0];value;generated |
 | Summaries;CollectionTheorems1<>;false;GetMany;();;Argument[this].Element;ReturnValue.Element;value;generated |
 | Summaries;CollectionTheorems2<>;false;Get;();;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
 | Summaries;CollectionTheorems2<>;false;Set;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |
 | Summaries;Theorems1<>;false;AddMany;(System.Collections.Generic.IEnumerable<T>);;Argument[0].Element;Argument[this].SyntheticField[ArgType0];value;generated |
 | Summaries;Theorems1<>;false;Apply;(System.Func<T,System.Int32>);;Argument[this].SyntheticField[ArgType0];Argument[0].Parameter[0];value;generated |
+| Summaries;Theorems1<>;false;Apply<,>;(T1,System.Func<T1,T2>);;Argument[0];Argument[1].Parameter[0];value;generated |
+| Summaries;Theorems1<>;false;Apply<,>;(T1,System.Func<T1,T2>);;Argument[1].ReturnValue;ReturnValue;value;generated |
+| Summaries;Theorems1<>;false;Apply<>;(System.Func<T,S>);;Argument[0].ReturnValue;ReturnValue;value;generated |
+| Summaries;Theorems1<>;false;Apply<>;(System.Func<T,S>);;Argument[this].SyntheticField[ArgType0];Argument[0].Parameter[0];value;generated |
+| Summaries;Theorems1<>;false;FlatMap;(System.Func<T,System.Collections.Generic.IEnumerable<T>>);;Argument[0].ReturnValue.Element;Argument[0].Parameter[0];value;generated |
+| Summaries;Theorems1<>;false;FlatMap;(System.Func<T,System.Collections.Generic.IEnumerable<T>>);;Argument[0].ReturnValue.Element;Argument[this].SyntheticField[ArgType0];value;generated |
+| Summaries;Theorems1<>;false;FlatMap;(System.Func<T,System.Collections.Generic.IEnumerable<T>>);;Argument[0].ReturnValue.Element;ReturnValue.SyntheticField[ArgType0];value;generated |
+| Summaries;Theorems1<>;false;FlatMap;(System.Func<T,System.Collections.Generic.IEnumerable<T>>);;Argument[this].SyntheticField[ArgType0];Argument[0].Parameter[0];value;generated |
+| Summaries;Theorems1<>;false;FlatMap;(System.Func<T,System.Collections.Generic.IEnumerable<T>>);;Argument[this].SyntheticField[ArgType0];ReturnValue.SyntheticField[ArgType0];value;generated |
+| Summaries;Theorems1<>;false;FlatMap<>;(System.Func<T,System.Collections.Generic.IEnumerable<S>>);;Argument[0].ReturnValue.Element;ReturnValue.SyntheticField[ArgType0];value;generated |
+| Summaries;Theorems1<>;false;FlatMap<>;(System.Func<T,System.Collections.Generic.IEnumerable<S>>);;Argument[this].SyntheticField[ArgType0];Argument[0].Parameter[0];value;generated |
 | Summaries;Theorems1<>;false;Get;();;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
 | Summaries;Theorems1<>;false;Get;(System.Object);;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
 | Summaries;Theorems1<>;false;GetMany;();;Argument[this].SyntheticField[ArgType0];ReturnValue.Element;value;generated |
 | Summaries;Theorems1<>;false;Id;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |
+| Summaries;Theorems1<>;false;Id;(T);;Argument[0];ReturnValue;value;generated |
 | Summaries;Theorems1<>;false;Id;(T);;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
+| Summaries;Theorems1<>;false;Map<>;(System.Func<T,S>);;Argument[0].ReturnValue;ReturnValue;value;generated |
+| Summaries;Theorems1<>;false;Map<>;(System.Func<T,S>);;Argument[this].SyntheticField[ArgType0];Argument[0].Parameter[0];value;generated |
+| Summaries;Theorems1<>;false;MapTheorem<>;(System.Func<T,S>);;Argument[0].ReturnValue;ReturnValue.SyntheticField[ArgType0];value;generated |
+| Summaries;Theorems1<>;false;MapTheorem<>;(System.Func<T,S>);;Argument[this].SyntheticField[ArgType0];Argument[0].Parameter[0];value;generated |
+| Summaries;Theorems1<>;false;Return;(System.Func<T,Summaries.Theorems1<>>);;Argument[0].ReturnValue.SyntheticField[ArgType0];Argument[0].Parameter[0];value;generated |
+| Summaries;Theorems1<>;false;Return;(System.Func<T,Summaries.Theorems1<>>);;Argument[0].ReturnValue.SyntheticField[ArgType0];Argument[this].SyntheticField[ArgType0];value;generated |
+| Summaries;Theorems1<>;false;Return;(System.Func<T,Summaries.Theorems1<>>);;Argument[0].ReturnValue.SyntheticField[ArgType0];ReturnValue.SyntheticField[ArgType0];value;generated |
+| Summaries;Theorems1<>;false;Return;(System.Func<T,Summaries.Theorems1<>>);;Argument[this].SyntheticField[ArgType0];Argument[0].Parameter[0];value;generated |
+| Summaries;Theorems1<>;false;Return;(System.Func<T,Summaries.Theorems1<>>);;Argument[this].SyntheticField[ArgType0];ReturnValue.SyntheticField[ArgType0];value;generated |
 | Summaries;Theorems1<>;false;Set;(System.Int32,T);;Argument[1];Argument[this].SyntheticField[ArgType0];value;generated |
 | Summaries;Theorems1<>;false;Set;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |
 | Summaries;Theorems1<>;false;Theorems1;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |
+| Summaries;Theorems1<>;false;Transform<>;(S);;Argument[0];ReturnValue;value;generated |
 | Summaries;Theorems1<>;false;get_Prop;();;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
 | Summaries;Theorems1<>;false;set_Prop;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |