The type checkers crashes when there are type errors in invariants. E.g. an invariant 'x' where x is a clock causes a crash.
A fix is now in CVS.