enables partial evaluation.