Optimized run-time race detection and atomicity checking using partial discovered types