Add feedback arrow protocol
Convert result from pred in proc-if to boolean