An annotation assistant for interactive debugging of programs with common synchronization idioms