The basic idea is that if it does not matter, for the kind of things one intends to prove, whether A or B is executed first, then it is a waste of time to consider both the AB and the BA interleavings.
Esminė idėja yra ta, kad jei yra nesvarbu, ar A arba B yra vykdomas pirmiausiai, tada tai tėra laiko švaistymas, norint apsvarstyti AB ir BA įtarpus.