//#Unsafe
procedure main() {
	var b : bool;
	assume !b;
	assert b;
}