Computing procedure access sets.
* and using it to optimize sequentialization variables.