[lworld] RFR: 8359370: [lworld] allow instance fields of identity classes to be readable in the prologue phase [v7]

[Vicente Romero]

> Before this fix only strict fields were readable in the prologue phase. The proposed fix should allow any instance fields of identity classes to be readable in the prologue phase. This implies changes in flow analysis as before we were only tracking final and strict fields. There is also some "cooperation" needed in the code to detect cases when reading a field is not allowed in the prologue phase. For example some methods in Resolve don't have all the needed information at the moment they are dealing with some ASTs and part of the processing needs to be done in Attr
> 
> TIA
> 
> This PR is a remake of https://github.com/openjdk/valhalla/pull/1490

Vicente Romero has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains 17 commits:

 - fixing bugs: new test cases brought in with latest merge are not accepted
 - merge with lworld
 - refactorings
 - another bug fix
 - bug fix
 - merge with lworld
 - renaming methods in LocalProxyVarGen
 - more changes
 - refactoring
 - test changes
 - ... and 7 more: https://git.openjdk.org/valhalla/compare/62e90b5d...0eb81681

-------------

Changes: https://git.openjdk.org/valhalla/pull/1523/files
  Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=1523&range=06
  Stats: 486 lines in 26 files changed: 324 ins; 90 del; 72 mod
  Patch: https://git.openjdk.org/valhalla/pull/1523.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1523/head:pull/1523

PR: https://git.openjdk.org/valhalla/pull/1523