This may be irrelevant to the test case that highlighted the issue to me, but it seems that the spec should say whether sequence of evaluation is important.