This function is called after the analysis. The argument is the state
computed at the return statement of the main function. The function can
also access all states stored in the Store module during the analysis.
If the analysis aborted, this function is not called.