Incremental Upgrade Checking by Means of Interpolation-based Function Summaries