added graphs for optimization candidates

src/candidates.tex

 \chapter{Candidates}
 \section{Types of optimization candidates}
 \subsection{Simply redundant inclusion}
+\providecommand\myxscale{3.9}
+\providecommand\myyscale{2.2}
+\providecommand\myfontsize{\footnotesize}
+\begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize
+\node[thy] (bottom) {\begin{tabular}{l}
+                             \textsf{bottom}\\\hline
+                             ...\\\hline
+                             ...
+                           \end{tabular}};
+\node[thy,  above of = bottom] (middle) {\begin{tabular}{l}
+                             \textsf{middle}\\\hline
+                             ...\\\hline
+                             ...
+                           \end{tabular}};
+\node[thy, above of = middle] (top) {\begin{tabular}{l}
+                             \textsf{top}\\\hline
+                             ...\\\hline
+                             ...
+                           \end{tabular}};
+\draw[include] (bottom) -- (middle);                          
+\draw[include, bend left] (bottom) edge (top);                          
+\draw[include] (middle)  -- (top);
+\end{tikzpicture}
 \subsection{Superfluous Inclusion}
 \subsubsection{Purely Superfluous Inclusion}
+\begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize
+\node[thy] (bottom) {\begin{tabular}{l}
+                             \textsf{bottom}\\\hline
+                             X\\\hline
+                             ...
+                           \end{tabular}};
+\node[thy, above of = bottom] (top) {\begin{tabular}{l}
+                             \textsf{top}\\\hline
+                             ...\\\hline
+                             no X
+                           \end{tabular}};
+\draw[include] (bottom) -- (top);
+\end{tikzpicture}
 \subsubsection{Partially Superfluous Inclusion}
+\begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize
+\node[thy] (bottom1) {\begin{tabular}{l}
+                             \textsf{bottom}\\\hline
+                             ...\\\hline
+                             X, but not Y
+                           \end{tabular}};
+\node[thy,  above of = bottom1] (middle) {\begin{tabular}{l}
+                             \textsf{middle}\\\hline
+                             Y\\\hline
+                             ...
+                           \end{tabular}};
+\node[thy, above of = middle] (top) {\begin{tabular}{l}
+                             \textsf{top}\\\hline
+                             X\\\hline
+                             ...
+                           \end{tabular}};
+\draw[include] (bottom) -- (middle);                        
+\draw[include] (middle)  -- (top);
+\end{tikzpicture}
 \section{Optimization cases}
\ No newline at end of file