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.