//#Safe
/*
 * Tests if-then-else expressions.
 */

procedure ULTIMATE.start()
{
	var x : bool;
	x := true;
	assert x;
}