The current implementation of the uniqueness checker employs a custom dataflow analysis to infer the uniqueness of the local paths in the program. It would be better to switch to the compiler's built-in CfgTraverser to compute this. In addition to this, the inferred uniqueness types should be stored within a SessionComponent so that it may be accessed at later stages without re-running the whole analysis.
The current implementation of the uniqueness checker employs a custom dataflow analysis to infer the uniqueness of the local paths in the program. It would be better to switch to the compiler's built-in
CfgTraverserto compute this. In addition to this, the inferred uniqueness types should be stored within aSessionComponentso that it may be accessed at later stages without re-running the whole analysis.