Mark DataRaceDetector::is_racy(const PartialString&) as internal
Mark DataRaceDetector::is_racy(const PartialString&) as internal

We only use this function for testing purposes.

ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit