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