WIP

introduction.tex

@@ -40,6 +40,15 @@ this.<List<String>>emptyList().add(new List<String>())
     .get(0);
 \end{verbatim}
 
+$
+\begin{array}{c}
+TODO
+\\
+\hline
+\texttt{emptyList().get().get()} : \tv{a}
+\end{array} \quad \rulename{T-Call}
+$
+
 %motivate constraints: 
 To solve this example we will create constraints
 $