PLCgen TwinCAT self-certification: build error on `SEL_DINT`

Test report

Tool	Version
ESCET	nightly-20241023-115319
TwinCAT	v3.1 build 4020.56
Test suite	v27

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: arrays.cif

Encountered errors

The usage of SEL_DINT causes build errors, like:

• Identifier 'SEL_DINT' not defined in \Untitled1\POUs\MAIN.TcPOU line 807
• Cannot convert type 'Unknown type: 'SEL_DINT((-2 >= SINT#0), (-2 + 2), -2)'' to type 'AnyInt' in \Untitled1\POUs\MAIN.TcPOU line 807
• Program name, function or function block instance expected instead of 'SEL_DINT' in \Untitled1\POUs\MAIN.TcPOU line 807

The issue seems to be resolved once you change SEL_DINT to SEL, see https://infosys.beckhoff.com/english.php?content=../content/1033/tc3_plc_intro/2528956043.html&id=

Addresses #1020 (closed) #679