Incremental-recursive analysis