Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach