Missing write hook call?

[AryazE]

In

with foo() as f:
   ...

and

for i in l:
   ...

The write hook is not called to indicate the assignment of the new values to f and i in the above examples.
This means that the analyses interested in value assignments need to track them via multiple analysis hooks.
Since there are no "assignment" hooks now, and the write hook does not semantically apply here, one option is to add a new analysis hook for all assignments.
Such a hook could also be applied in cases where the default value for an argument of a function call is used. An implementation of that could be done by instrumenting a decorator that inspects the provided and the required arguments and calls the assignment hook for the missing arguments.