The following Modest code causes the tools to crash with an ArgumentException due to the empty `palt` construct: ``` property p = Pmin(<> (i > 10)); int i = 0; process increment() { {= i++ =}; palt {} } increment() ``` (Reported by Gerlof Bouma.)