Incomplete record/set as formal parameter not accepted

Summary

Error marker appears when an incomplete record/set is defined in the formal parameter list. Additionally, it would be nice to make the severity of this problem configurable.

Steps and/or TTCN-3 code to reproduce

type record Record {
  charstring hostName,
  integer portNum,
  charstring localHost optional
}
...
var Record vl_rect := { hostName := "127.0.0.1", portNum := 4001 };
// wrong error indication -> severity should be configurable
f1({ hostName := "127.0.0.1", portNum := 4001 });

What is the current bug behavior?

The code should be accepted, or markers should be present according the configured severity

What is the expected correct behavior?

Titan C compiler accepts the code with warning

Titan version

8.3.0

Platform details (OS type and version)

All

/cc @aknappqwt @mmagyari