ifp: watch out!
boolean zero;
intVector X(N);
...
ifp (X == 0)
zero = true;
else
zero = false;
This will always set zero to true, then to false,
leaving it at false. The programmer probably wanted a reduction:
zero = all(X == 0);
or
zero = any(X == 0);
next...
prev...
begin lecture again...