\begin{tabular}{|l|l|l|c|}
\hline \multicolumn{2}{|c|}{Proof obligations } & \provername{Alt-Ergo 2.2.0} \\ 
\hline
\explanation{VC for create\_cursor} & & \valid{0.03} \\ 
\hline
\explanation{VC for next} & & \valid{0.59} \\ 
\hline
\explanation{VC for big\_step\_gen} & & \valid{0.10} \\ 
\hline \end{tabular}
