Factored the code for lazy incremental recomputation out into a function so I can reuse it for call subsumption.
Authored by: tswift 2019-10-01
Parent: [r9660]
Child: [r9662]
