That already exists, and it is in fact called unspecified behavior. Order of function argument evaluation is unspecified, for instance.