proc f(): Bool
var
  a, b: Int := 5
return a = 5 & b = 5

begin
  assert(f())
end.