Incremental Deletion

• Already existing analysis is correct.
• We can do nothing.
• This is simple but inaccurate.
• Narrowing-like strategy.
  • .
• It is also inaccurate. Starting analysis from scratch often produces more accurate results.
• We look for incremental analysis as accurate as analysis from scratch.
• Ideally, useful for clause deletion at run-time (retract and abolish).