The program decision logic approach to predicated execution