I have the impression that `lazy` can capture exceptions like `Memprof_limits.Limit_reached: token set` and this in turn makes hard to restart an interrupted computation. I wonder if this is known and expected.