Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.

STD_TEST.st
STD_RESSOURCE.c
LOCATED_VARIABLES.h
POUS.c
test
STD_CONF.c
SFC_TEST.st
test.exe
plc.st
POUS.h
VARIABLES.csv