Convert result from pred in proc-if to boolean