I'm reading the Go memory model doc, and this part is not clear to me,
'''
the sequenced before relation, defined as the partial order requirements set out by the
Go language specification for Go's control flow constructs
as well as the order of evaluation for expressions
'''

It's not clear what exactly consist Go's control flow constructs.
The link is a general link to the full language spec, but searching for "control flow constructs" in the language spec doesn't match anything.

1. It'll be great if there can be an explicit definition for "Go's control flow constructs", either in the language spec, or in the memory model doc.
2. The language spec does not have clear indication of the concept of 'partial order'. For example, in https://go.dev/ref/spec#If_statements, “If the expression evaluates to true, the "if" branch is executed, otherwise, if present, the "else" branch is executed.”
   It seems to indicate the expression and the "if/else" branch has some partial order, but this isn't obvious enough to be reflected when reading the memory model doc.