\documentclass[../main.tex]{subfiles}

\begin{document}
\section{Fuelled Self-Reducer for System T}%
\label{sec:reducer}

\TODO{
  \begin{itemize}
    \item fuelled self-reducer
    \item high-level strategy
    \item example: case distinction
    \item qualitative comparison
    \item quantitative comparison (dLoC)
  \end{itemize}
}

\end{document}