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.
Norton antivirus perfect to ensure Android and iOS devices, Laptop and other PC gadgets are free from infection, malware, phishing, adware. Download for protection from all of them.