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