Incremental Addition

• Traditional (non-incremental) analysis algorithms can handle incremental addition of clauses and calling patterns with only minor modifications.
• However, the more accurately the analysis algorithm tracks dependencies, the more efficiently incremental addition can be performed.
• Incremental addition of clauses produces the same analysis results as non-incremental analysis.
• Useful for modular programs.
• Ideally, useful for clause addition at run-time (assert).