fix undesirable nondeterminism in callcc in lambda++