Ich denke, was gemeint ist, ist, dass, wenn man Yoda Conditions einsetzt, die Voraussetzung ist, dass die Vertauschung nichts am Programmverhalten ändert. Wenn das nicht so ist, dann kann man eben nicht vertauschen (so "yoda" das wäre ...). Und so sollte man's dann auch formulieren, z.B.