//#Unsafe
procedure main() {
	var b : bool;
	var r : real;
	assume r == 3.1 || b;
	assert r == 3.1;
}