//#Safe

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

	assume a && b;

	assert a;
}