2Our syntax doesn’t allow empty statement lists, but we may have a statement list containing only the statement skip, which is effectively empty.