//#Safe
// Typing "-" on my machine produces -
// Check your machine's "-" with http://unicodelookup.com/
// "−" (− or 0x2212) vs "-" (- or 0x2D)
// CDT does not recognize "−" (−) as minus, because only "-" (-) is minus
// Note that gcc recognizes this issue! 
void main(){

	char x 	= __VERIFIER_nondet_char();
	__VERIFIER_assume(x > −1);
	if(x == 0){
		__VERIFIER_error();
	}
}