Improving Systematic Constraint-Driven Analysis Using Incremental And Parallel Techniques