correcting a soundness bug: I need to explicitly mark the lambdas so we can properly annotate the functions.
correcting pre-emption.