$($b$)(1$point$)$ Considertheprogram$($fun$->$fun$->)(($fun$->)($fun$->)).$ The evaluation of this program is guaranteed to terminate under $($circle exactly one$)$:

A$.$ The EagerEval rule B$.$ The LazyEval rule C$.$ Both rules

D$.$ None of the two rules