Changed RaceCheck.scala to determine good and bad accesses using Q
notation rather than evaluating the graph