Added the table with the states at each iteration for \texttt{example-prog}.