\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}