support C-style int as boolean
int x = 5;
if( !x ) ...
This one is tough, because Z3 differentiates between booleans and integers. And it is not easy to inject a translation on-the-fly, because it needs type checking a symbolic value to see if it's an integer.
Wontfix for now, that's one thing we don't support.
Edited by Markus Klinik