The primary place where the interpreter must be modified to support lazy evaluation is:

Evaluation of conditional expressions $($if expressions$).$

Evaluation of sequential expressions $($begin expressions$).$

Evaluation of lambda expressions.

Procedure application.