default as module parameter type is allowed in Titan

Summary

According to Section 8.2.1, Restriction b), module parameters shall not be of default type. However, TITAN allows for this.

Steps and/or TTCN-3 code to reproduce

module modules{

type component ct_empty{}

modulepar default d; //wrong

testcase mp_def_val() runs on ct_empty{
  log(d);
}

control{
  execute(mp_def_val());
}

}

What is the current bug behavior?

unbound default is logged

What is the expected correct behavior?

compliation error

Relevant logs and/or screenshots

2022/Dec/06 08:57:24.298261 USER - <unbound>

Possible fixes

Titan version

8.1.0

Platform details (OS type and version)

Microsoft Windows 10 Enterprise 10.0.19042

/cc @aknappqwt @mmagyari