Fork mutex.ml into dlraces.
Outline SLP-based analysis