Short-circuit in TheoryArithPrivate::check(), care of Tim.