\newsubfloat{figure}

In this thesis the evaluation tree is defined for \gls{pip} instead, giving the

In this thesis the evaluation tree is defined for \Gls{pip} instead, giving the

    \todo{picture of an evaluation tree for a chosen example program.}

    \begin{figure}
        \centering
        \subbottom[Program]{
            \input{figures/ch3_example_program.tex}
        }
        \subbottom[Extract of the evaluation tree]{
            \input{figures/ch3_example_tree.tex}
        }
        \caption{Foo}
    \end{figure} \todo{ref}

\label{sec:property-based-abstraction}

\label{sec:propertybasedabstraction}

\newacronym{chc}{CHC}{Constraint Horn Clause}