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

#Wed Jan 31 15:26:34 CET 2007
eclipse.preferences.version=1
indexerId=org.eclipse.cdt.core.fastIndexer