Update section 11 and 12

> inference rules, ...

> NOTE: A tool is permitted to implement optimizations, such as pre-computing

> values, moving expensive expression out of the loop as long TTCN-3 semantics

> are not violated.

> values, lazy-evaluation, or moving expensive expression out of the loop as

> long TTCN-3 semantics are not violated.

> NOTE: A tool vendor is permitted to forbid the use of constant as call by

> reference parameters.

**Examples**

```ttcn3 example = "required initial value assignment"

differences:

- a module parameter may be declared in a module scope, only.

- a module parameter shall be assigned a value, not once per lifetime, but once per [test run].

- a module parameter shall be assigned a value, only once per [test run].

- the value can be provided by the test environment during runtime.

**Examples**

```ttcn3 example = "module parameters"

    modulepar template integer i, j[3] := {1,2,3}

}

```

```ttcn3 example = "evaluated once per test run"

module M {

    modulepar integer mpar;

    testcase tc(in integer i) {

        if (i == mpar) {

            setverdict(pass)

        } else {

            setverdict(fail)

        }

    }

    // the control part executes a test multiple times, however module

    // parameter `mpar` is evaluated only once during this run and returns the

    // same value everytime it is referenced.

    control {

        var integer i := mpar;

        execute(tc(i));

        execute(tc(i));

    }

}

```