Memory model sensitive checker for C#