PLCgen TwinCAT self-certification: unexpected results for channels.cif test

Test report

Tool	Version
ESCET	nightly-20241130-220353
TwinCAT	v3.1 build 4020.56
Test suite	v34

Setup of TwinCAT as described here: https://cstweb.wtb.tue.nl/4tc00/twincat/setup.html#twincat-install. Project generated as described here: https://eclipse.dev/escet/cif/tools/plcgen/twincat.html#twincat-usage.

Test case: channels.cif

Encountered errors

The following expected test results

receiver1 = receiver1_loc2    -> 'sender5_loc2' / '1' / 'true'
receiver2a = receiver2a_loc2    -> 'sender5_loc2' / '1' / 'true'
receiver2b = receiver2b_loc2    -> 'sender5_loc2' / '1' / 'true'
receiver2c = receiver2c_loc2    -> 'sender5_loc2' / '1' / 'true'
receiver3a = receiver3a_loc2    -> 'sender5_loc2' / '1' / 'true'
receiver3b = receiver3b_loc2    -> 'sender5_loc2' / '1' / 'true'
receiver3c = receiver3c_loc1    -> 'sender5_loc1' / '0' / 'false'
sender3a = sender3a_loc2    -> 'sender5_loc2' / '1' / 'true'
sender3b = sender3b_loc2    -> 'sender5_loc2' / '1' / 'true'
syncer4 = syncer4_loc1    -> 'sender5_loc1' / '0' / 'false'
syncer6 = syncer6_loc1    -> 'sender5_loc1' / '0' / 'false'

did not match the actual test results

receiver2a = sender1_loc2
receiver2b = sender1_loc2
receiver2c = sender1_loc2
receiver3a = sender1_loc2
receiver3b = sender1_loc2
receiver3c =sender1_loc1
sender3a = sender1_loc2
sender3b = sender1_loc2
syncer4 = sender1_loc1
syncer6 = sender1_loc1

I don't see yet whether there is an error in the generated code or an error in the test case (stating the wrong expected result).

Addresses #1020 (closed) #679 #798 (closed)