use pred-cond to eliminate final condp's