fixing a potential bug in ilp version of pr (z | y, x)