% TeX root = ../main.tex

\begin{tikzpicture}[program]
    \node[state,initial]    (l0)                     {$l_0$};
    \node[state]            (l1)    [below=of l0]    {$l_1$};
    \node[state]            (l2)    [below left =of l1]    {$l_2$};
    \node[state]            (l3)    [below=of l2]    {$l_3$};
    \node[state]            (l4)    [below right=of l3]    {$l_4$};
    \node[state]            (l5)    [right=of l4]    {$l_5$};
    \node[state]            (l6)    [above right=of l5]    {$l_6$};
    \node[state]            (l7)    [above=of l6]    {$l_7$};
    \node[state]            (l8)    [above left=of l7]    {$l_8$};

    \node[state]            (l9)    [below right=of l2]    {$l_9$};
    \node[state]            (l10)    [right=of l9]    {$l_{10}$};

    % \path[->]    (l0)    edge node[swap]    {$\textit{true}$}  (l1)
    %              (l1)    edge node[swap]    {$x > 0$}          (l2)
    %                      edge node[swap]    {$x \leq 0$}       (l4)
    %              (l2)    edge node[swap]    {$y > 0$}          (l3)
    %                      edge node[swap]    {$\begin{aligned}
    %                                              y &\leq 0 \\
    %                                              x &:= x-1 \\
    %                                              z &:= z+2 \\
    %                                           \end{aligned}$}   (l1)
    %              (l3)    edge node[swap]    { \begin{aligned}%
    %                                              x &:= x+y \\
    %                                              y &:= y-1
    %                                           \end{aligned}}   (l3)
                                              ;
\end{tikzpicture}