% Figures
\RequirePackage{tikz}
%

% \usepackage{lipsum}

\usepackage{lipsum}
\usepackage{amsthm}

% Tikz
\usetikzlibrary{external,shapes.symbols,automata,positioning,arrows.meta,decorations.pathmorphing}
% \tikzexternalize
\tikzset{helplines/.style=very thin}
% todo notes

\makeatletter
\renewcommand{\todo}[2][]{\tikzexternaldisable\@todo[#1]{#2}\tikzexternalenable}
\makeatother

% Theorems
\usepackage{amsthm}

% Bibliography

$latexoption = "-shell-escape"

\subsection{SCCs}
\begin{figure}
    \input{figures/ch4_scc1}
    \caption{Visualization of partial evaluation for a single SCC}
\end{figure}