PLCgen TwinCAT self-certification: Cannot compare type `BOOL` with type `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: op_bind_and_prio_bool.cif

Encountered errors

I get 256 instances of the following error.

Cannot compare type 'BOOL' with type 'DINT' in \Untitled1\POUs\MAIN.TcPOU at line 5016.

The relevant piece of generated code (for this example error) is

(* Perform update of discrete variable "a.eq_lt01". *)
a_eq_lt01 := a_one < a_one = a_one < a_one;

The corresponding CIF model is

disc int one = 1;
(...)
eq_lt01 := (one < one) = (one < one),

Addresses #1020 (closed) #679