Execution Control for Constraint Handling Rules by