\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] (bottom) {\begin{tabular}{l}
                             \textsf{bottom}\\\hline
                             X\\\hline
                             ...
                           \end{tabular}};
\node[thy,  above of = bottom] (middle) {\begin{tabular}{l}
                             \textsf{middle}\\\hline
                             Y\\\hline
                             ...
                           \end{tabular}};
\node[thy, above of = middle] (top) {\begin{tabular}{l}
                             \textsf{top}\\\hline
                             ...\\\hline
                             X, but not Y
                           \end{tabular}};
\node[right of = bottom] (dots) {...};
\node[thy, right of = dots] (bottomn) {\begin{tabular}{l}
                             \textsf{$bottom_n$}\\\hline
                             $X_n$\\\hline
                             ...
                          \end{tabular}};
\draw[include] (bottom) -- (middle);
\draw[include] (bottomn) -- (middle);                       
\draw[include] (middle)  -- (top);
\end{tikzpicture}
\section{Optimization cases}