[Consistency Predicates] Minor Change: Reduced the number of
checkpointTransactions, that are only needed after a DomainMetaClass, or
DomainConsistencyPredicate finishes initializing (semantic preserving).