Better causal tracking + race detection