1 2 3 4 5 6 7 8 9
proc f() -> Bool var a, b: Int := 5 return a = 5 & b = 5 program() begin assert(f()) end.