Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.
include ../../common.mk
lib_LIBRARIES = libstage4_c.a
libstage4_c_a_SOURCES = generate_c.cc
libstage4_c_a_LIBADD = ../stage4.o
libstage4_c_a_CPPFLAGS = -I../../../absyntax