Treat variables inside invocation expressions as if they have already had dependencies resolved in struct assignment post-optimization
Move struct ctor invocation fixup before first use of static analysis so that variables are not erroneously flagged as modified