Enable the commented-out cloning check for RecursivePureStructOperator
Don't flag this-references of all invocations as modified. It's unnecessary.
Propagate variable modification state from invocations (method x modifies 'this') into callers' second pass modification data