Store execution states of each graphnode for every functionc all

This was previously done for recursive calls only. Store them for all
function calls so they also address  nested function calls within a
recursive call.

@lukechurch
@ke-yu