ADD: Mutex summaries