Compute may-restart-ness from event stack, and fix terminology.