Handle case when target variable is a field of another variable

[HongshuW]

Example: Cli 11

new PrintWriter(out)

out has the same address as PrintWriter_instance.out.

Previous implementation handles this special case through hardcoding, this has been removed in commit: d882f9e

Handle this special case.

[HongshuW]

Prompt Engineering:

• 1b19ee4
• e5ab5e3

Response after adjusting prompt:

{
"out": "PrintWriter_instance.out",
"out.value": null
}

[HongshuW]

Response Processing: b0a037f

PrintWriter_instance doesn't contain a recorded field named out.
Address doesn't need to be updated. Add PrintWriter_instance to variablesToCheck.

[HongshuW]

TODO:
Add PrintWriter_instance to critical variables list