Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.
IEC 61131-3 Annex F Examples (informative)
This directory contains example code take from:
Annex F of Draft 2nd edition of the IEC 61131-3 standard (1998)
"PROGRAMMABLE CONTROLLERS - PROGRAMMING LANGUAGES"