Dynamic determinacy analysis