The bug can be reproduced using the following function:
int min(int lhs, int rhs)
return (lhs < rhs) ? lhs : rhs;
The problem crashes verifyta (in gdb it looks like an infinite loop) and in the GUI one looses connection to the server.
Interesting. I will take a look.
Fixed on the trunk from rev. 1650.