//#Safe

procedure ULTIMATE.start()
{
	var b : bool;

	assume b != false;

	assert true;
	assert b;
}