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