Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.
matiec for Debian
-----------------
<possible notes regarding this package - if none, delete this file>
-- edouard <edouard.tisserant@gmail.com> Wed, 21 Nov 2007 17:01:50 +0100