[LifetimeSafety] Add lattice tracking per program point

[usx95]

Added per-program-point state tracking to dataflow analyses to enable more precise error reporting.

• Added a ProgramPoint type to represent a specific point in the CFG (a block and fact pair)
• Modified the transferBlock method to store intermediate states after each fact
• Added accessor methods to query analysis results at specific program points:
  • getLoans(OriginID, ProgramPoint) in LoanPropagationAnalysis
  • isLive(OriginID, ProgramPoint) and getLiveOrigins(ProgramPoint) in LiveOriginAnalysis
  • isExpired(LoanID, ProgramPoint) in ExpiredLoansAnalysis

[usx95]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• [LifetimeSafety] Add lattice tracking per program point #149069 👈 (View in Graphite)
• [LifetimeSafety] Implement LiveOrigins analysis #148976
• [LifetimeSafety] Add loan expiry analysis #148712
• [LifetimeSafety] Support bidirectional dataflow analysis #148967
• [LifetimeSafety] Make the dataflow analysis generic #148222
• [LifetimeSafety] Implement dataflow analysis for loan propagation #148065 : 1 other dependent PR (#147315 )
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.