A conditional decision procedure for high yield processes · Study