sum(1,2,true) == 3 sum(1,2,true) == 3 throw! />

sum(1, 2, true) == 3 sum(1, 2, true) == 3 throw! />

/>

sum(1, 2, true) == 3 sum(1, 2, true) == 3 throw! />

/>

/> x := 2 y := 5 sum(x, y, true) == 7 sum(x, y, true) == 7 throw! />

x := 2 y := 5 sum(x, y, true) == 7 sum(x, y, true) == 7 throw! />

/>