3 # =============================================== Global
11 # Parameter names are not provided
17 # =============================================== Statement 1
18 # Number of relations describing the statement
21 # ---------------------------------------------- 1.1 Domain
24 # ---------------------------------------------- 1.2 Scattering
27 # ---------------------------------------------- 1.3 Access
30 # ---------------------------------------------- 1.4 Body
31 # Statement body is provided