Classify an instance by its terminal stamps. The single definition of the
precedence rule: aborted instances have completedAt too (stamped at the
abort, so in-flight queries treat both terminals uniformly), so abortedAt
must be checked first — 'completed' means completed without an abort.
Classify an instance by its terminal stamps. The single definition of the precedence rule: aborted instances have
completedAttoo (stamped at the abort, so in-flight queries treat both terminals uniformly), soabortedAtmust be checked first —'completed'means completed without an abort.