Каким образом можно выявить гонки условий в программном коде?