finalState

The values of relevant expressions after the edge has been traversed.