Sat, 31 May 2014 12:49:43 +0100 mjsousa Remove dead code previously left in by mistake.
Thu, 29 May 2014 12:06:22 +0100 mjsousa Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.