code: func NewFinishExecutionAbnormal(eid *dm.Execution_ID, status dm.AbnormalFinish_Status, reason string) *FinishExecution {
  	return &FinishExecution{
  		eid, &dm.Result{
  			AbnormalFinish: &dm.AbnormalFinish{Status: status, Reason: reason}}}
  }
docs: // NewFinishExecutionAbnormal is a shorthand to make a FinishExecution mutation
  // with some abnomal result.