Executes the state computation and returns the final state.
The computation to evaluate.
The execution of the computation.
Executes the state computation and returns the final state.