"a statement S against this pattern succeeds if S is an assignment," . . . .