Let P be a procedure that for some inputs calls itself ( i.e. is recursive ). If P is guaranteed to terminate, which of the following statement(s) must br true?
I. Phas local variable
II. Phas an execution path whereit does notcall itself
III. P either refers to a global variable or has at least one parameter

A

I only

B

II only

C

III only

D

II and III only