This change visits the parameters before "replaying" reads+writes from
calls of local functions for the purposes of definite assignment. This
ordering is observable because a variable can be definitely assigned in
the argument to the call, and then used inside the call.

Fixes #14243