TITAN does not know address restriction for ports.

Summary

TITAN does not know address restriction for ports.

Steps and/or TTCN-3 code to reproduce

type port mypt message{
  inout integer;
}with{extension "internal";}

type component myct{
  port mypt p;
}

type port mypt2 message{
  address myct2;
  inout integer;
}with{extension "internal";}

type component myct2{
  port mypt2 p;
}

function receiver() runs on myct{
  p.receive;
}

testcase port_address_restriction() runs on myct2{
  var myct ptc := myct.create();
  connect(mtc:p,ptc:p);
  p.send(1);
  setverdict(pass);
}

What is the current bug behavior?

Code does not compile, as address is an unexpected token.

What is the expected correct behavior?

Code should not compile, or test execution shall result in error at p.send(1);, as mtc:p (type mypt2) cannot be used to send messages to a test component of type mytc.

Relevant logs and/or screenshots

Possible fixes

Titan version

8.1.0

Platform details (OS type and version)

Microsoft Windows 10 Enterprise 10.0.19042

/cc @aknappqwt @mmagyari