Author here, happy to answer any questions. While some of the underlying functionality is based on Encore’s static analysis the approach is quite general and can be adapted to lots of situations.