Execution Control for Constraint Handling Rules door