Fixing a problem of changing the state of the constraint in queueVariable constraint possibly leading to invariant violation later on.