Expand affected field analysis to cover fields affected by method calls. Addresses a more general form of issue #194.
Make 'method call without analysis data' filter on local elimination less aggressive.
List of fields mutated by a function now lives in the second pass static analysis data and is computed recursively.
Make mutated field information more compact in memory.
Add some analysis tests for the affected field logic