Bounded minimization is a useful-way for

A generating partial recursive functions

B generating more primitive recursive functions

C proving whether a primitive recursive function is a total function

D proving whether a primitive recursive function is Turning computable