On confluence of constraint handling rulesOperational semantics and confluence of constraint propagation rules
