Given areconfiguration ordering which violates the desired specifications,our algorithm automatically identifies the problematic commandsso that it can avoid this particular order in the next iteration.